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 |
Tue, 31 Aug 2010 10:22:15 +0200 |
cleanup preparing ./thms-replace-Isa02-Isa09-2.sml
|
file | diff | annotate |
Tue, 31 Aug 2010 10:19:02 +0200 |
cleanup preparing ./thms-replace-Isa02-Isa09-2.sml
|
file | diff | annotate |
Mon, 30 Aug 2010 14:29:49 +0200 |
cleanup before renaming in test
|
file | diff | annotate |
Fri, 27 Aug 2010 14:56:54 +0200 |
updated syntax of all thys, semantic check until Atools.thy
|
file | diff | annotate |
Fri, 27 Aug 2010 10:28:44 +0200 |
updated remaining *.ML files attached to *.thy
|
file | diff | annotate |
Thu, 26 Aug 2010 10:03:53 +0200 |
messed file dependencies.
|
file | diff | annotate |
Wed, 25 Aug 2010 16:49:56 +0200 |
stuck at Atools.thy again; resume test on dependencies
|
file | diff | annotate |
Wed, 25 Aug 2010 16:20:07 +0200 |
renamed isac's directories and Build_Isac.thy
|
file | diff | annotate | base |