Mon, 27 Jan 2014 21:49:27 +0100 |
cleanup, naming: 'KEStore_Elems' in Tests now 'Test_KEStore_Elems', 'store_pbts' now 'add_pbts'
|
file | diff | annotate |
Tue, 21 Jan 2014 00:27:44 +0100 |
ad 967c8a1eb6b1 (2): for 'ptyps' add functions accessing Theory_Data in parallel to the old ones for 'Unsynchronized.ref'.
|
file | diff | annotate |
Mon, 21 Oct 2013 09:03:50 +0200 |
"axiomatization" replaces "axioms" preparing for Isabelle2013-1
|
file | diff | annotate |
Wed, 16 May 2012 15:47:22 +0200 |
extended "type met" with errpats
|
file | diff | annotate |
Wed, 16 May 2012 15:01:47 +0200 |
prep. extend "type met" with errpaty
|
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 |
Thu, 23 Sep 2010 08:54:26 +0200 |
tuned pbt's due to copy_named
|
file | diff | annotate |
Tue, 14 Sep 2010 15:46:56 +0200 |
repaired copy_nam
|
file | diff | annotate |
Tue, 14 Sep 2010 12:12:42 +0200 |
adapted is_copy_named from v___ to v'''
|
file | diff | annotate |
Wed, 08 Sep 2010 16:54:15 +0200 |
updated Vect..LogExp.thy
|
file | diff | annotate |
Wed, 08 Sep 2010 16:47:22 +0200 |
tuned src + test
|
file | diff | annotate |
Mon, 06 Sep 2010 16:56:22 +0200 |
corrected format for axioms in remaining theories
|
file | diff | annotate |
Mon, 06 Sep 2010 15:53:18 +0200 |
updated Knowledge/Root.thy, plus changes ahead.
|
file | diff | annotate |
Mon, 06 Sep 2010 15:09:37 +0200 |
updated Knowledge/Equation.thy, plus changes ahead.
|
file | diff | annotate |
Wed, 01 Sep 2010 16:43:58 +0200 |
fixed @{theory} in all Knowledge/*.thy
|
file | diff | annotate |
Fri, 27 Aug 2010 14:56:54 +0200 |
updated syntax of all thys, semantic check until Atools.thy
|
file | diff | annotate |
Wed, 25 Aug 2010 16:20:07 +0200 |
renamed isac's directories and Build_Isac.thy
|
file | diff | annotate | base |