erott@avocado.ist.intra [Thu, 22 Jul 2010 10:40:19 +0200] rev 37872
added isac documentation, part one
Walther Neuper <neuper@ist.tugraz.at> [Wed, 21 Jul 2010 13:53:39 +0200] rev 37871
added isac-hook in Pure/thm and isac-code
Walther Neuper <neuper@ist.tugraz.at> [Wed, 21 Jul 2010 09:59:35 +0200] rev 37870
created branch isac-from-Isabelle2009-2
haftmann [Tue, 20 Jul 2010 14:08:47 +0200] rev 37869
tuned
haftmann [Tue, 20 Jul 2010 14:01:06 +0200] rev 37868
accomodate for scope of "as" binding in ML
haftmann [Tue, 20 Jul 2010 10:24:18 +0200] rev 37867
tuned code
haftmann [Tue, 20 Jul 2010 08:54:21 +0200] rev 37866
datatype classes are abstract
haftmann [Tue, 20 Jul 2010 08:54:21 +0200] rev 37865
avoid deprecation
haftmann [Tue, 20 Jul 2010 06:35:29 +0200] rev 37864
robustified metis proof
haftmann [Mon, 19 Jul 2010 20:23:52 +0200] rev 37863
modernized abel_cancel simproc setup