Tue, 31 Jul 2012 15:16:47 +0200 |
prepared for fun stepToErrorPatterns
|
file | diff | annotate |
Wed, 27 Jul 2011 09:30:15 +0200 |
prepared "axioms" (Isabelle2002) --> "axiomatization" (Isabelle2011)
|
file | diff | annotate |
Tue, 26 Jul 2011 13:27:59 +0200 |
intermed: decomment test/../eqsystem.sml OK
|
file | diff | annotate |
Wed, 23 Mar 2011 17:20:39 +0100 |
make Test_Isac.thy run in jEdit; intermed.
|
file | diff | annotate |
Tue, 01 Mar 2011 15:23:59 +0100 |
intermed.update to Isabelle2011: test/../syntax added
|
file | diff | annotate |
Sat, 26 Feb 2011 12:37:58 +0100 |
intermed.update to Isabelle2011: ProgLang works
|
file | diff | annotate |
Sat, 26 Feb 2011 11:34:08 +0100 |
intermed.update to Isabelle2011
|
file | diff | annotate |
Mon, 21 Feb 2011 19:40:36 +0100 |
part.update Isabelle2011
|
file | diff | annotate |
Tue, 28 Sep 2010 07:28:10 +0200 |
repaired fun uminus_to_string, fun rewrite_terms_
|
file | diff | annotate |
Thu, 09 Sep 2010 09:49:14 +0200 |
intermediate state in Knowledge/EqSystem.thy
|
file | diff | annotate |
Tue, 31 Aug 2010 16:00:13 +0200 |
num_str --> num_str @{thm
|
file | diff | annotate |
Tue, 31 Aug 2010 15:36:57 +0200 |
updated Knowledge/Atools.thy + some changes + changes ahead
|
file | diff | annotate |
Wed, 25 Aug 2010 16:20:07 +0200 |
renamed isac's directories and Build_Isac.thy
|
file | diff | annotate | base |