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
haftmann [Mon, 19 Jul 2010 20:23:49 +0200] rev 37862
keep explicit diff_def as legacy theorem; modernized abel_cancel simproc setup