Walther Neuper <neuper@ist.tugraz.at> [Wed, 04 May 2011 09:01:10 +0200] rev 41972
update all "Pair" to "Product_Type.Pair"
regression test --- x+1=2 start SubProblem 'stac2tac_ TODO: no match for SubProblem
Walther Neuper <neuper@ist.tugraz.at> [Tue, 03 May 2011 16:23:07 +0200] rev 41971
tuned
Walther Neuper <neuper@ist.tugraz.at> [Tue, 03 May 2011 16:20:55 +0200] rev 41970
provided all "x+1=2" with typeconstraint real ("equality" is just bool)
Walther Neuper <neuper@ist.tugraz.at> [Tue, 03 May 2011 15:58:04 +0200] rev 41969
tuned, tests work
Walther Neuper <neuper@ist.tugraz.at> [Tue, 03 May 2011 11:16:55 +0200] rev 41968
updated all 'Const ("Let"..' to 'Const ("HOL.Let"..'
This change was from Isabelle2009-2 to Isabelle2011;
it broke the script interpreter.
The error occurred with Apply_Method in init_form,
which returned NONE.
Marco Steger <m.steger@student.tugraz.at> [Sun, 01 May 2011 17:16:57 +0200] rev 41967
improved doku
Walther Neuper <neuper@ist.tugraz.at> [Fri, 29 Apr 2011 13:00:34 +0200] rev 41966
tuned
Walther Neuper <neuper@ist.tugraz.at> [Fri, 29 Apr 2011 12:53:46 +0200] rev 41965
added draft for presentation
Walther Neuper <neuper@ist.tugraz.at> [Fri, 29 Apr 2011 11:11:07 +0200] rev 41964
adapted file names of isabelle team
Walther Neuper <neuper@ist.tugraz.at> [Fri, 29 Apr 2011 10:02:14 +0200] rev 41963
new directory names for isac-team members