Tue, 14 Sep 2010 12:12:42 +0200 |
adapted is_copy_named from v___ to v'''
|
file | diff | annotate |
Wed, 08 Sep 2010 16:47:22 +0200 |
tuned src + test
|
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 |
Tue, 31 Aug 2010 16:38:22 +0200 |
updating Knowledge/Simplify, changes ahead + in test
|
file | diff | annotate |
Fri, 27 Aug 2010 10:39:12 +0200 |
updated *.thy ---> (theory "*") in previous *.ML
|
file | diff | annotate |
Thu, 26 Aug 2010 18:15:30 +0200 |
updated initial 8 thy's syntax without evaluation
|
file | diff | annotate |
Wed, 25 Aug 2010 16:20:07 +0200 |
renamed isac's directories and Build_Isac.thy
|
file | diff | annotate | base |