Walther Neuper <neuper@ist.tugraz.at> [Thu, 02 Sep 2010 15:11:23 +0200] rev 37974
cleanup within Knowledge/Poly, start with Scripts
Marco Steger <m.steger@student.tugraz.at> [Thu, 02 Sep 2010 21:57:03 +0200] rev 37973
changed .java to .scala
Walther Neuper <neuper@ist.tugraz.at> [Wed, 01 Sep 2010 16:43:58 +0200] rev 37972
fixed @{theory} in all Knowledge/*.thy
Walther Neuper <neuper@ist.tugraz.at> [Wed, 01 Sep 2010 16:15:13 +0200] rev 37971
update thm_names Isa2002 --> Isa09-2 in Scripts
Walther Neuper <neuper@ist.tugraz.at> [Wed, 01 Sep 2010 15:19:47 +0200] rev 37970
cleanup from the previous commit
Walther Neuper <neuper@ist.tugraz.at> [Wed, 01 Sep 2010 15:17:43 +0200] rev 37969
fixed all @{thm } in src+test
Walther Neuper <neuper@ist.tugraz.at> [Wed, 01 Sep 2010 09:56:09 +0200] rev 37968
updated Knowledge/Simplify
Walther Neuper <neuper@ist.tugraz.at> [Tue, 31 Aug 2010 16:38:22 +0200] rev 37967
updating Knowledge/Simplify, changes ahead + in test
# overwritelnthy thy --> overwritelnthy @{theory}
# test: thms-replace-Isa02-Isa09-2.sml @{thm ..}
Walther Neuper <neuper@ist.tugraz.at> [Tue, 31 Aug 2010 16:00:13 +0200] rev 37966
num_str --> num_str @{thm
Walther Neuper <neuper@ist.tugraz.at> [Tue, 31 Aug 2010 15:36:57 +0200] rev 37965
updated Knowledge/Atools.thy + some changes + changes ahead
# replaced thms ahead by ./thms-replace-Isa02-Isa09-2.sml
# Knowledge/Delete.thy takes intermediate code:
* fun calc, fun term_of_float,fun var_op_float, fun float_op_var
for Float, which have already been deleted
* thms which are available only with long.identifiers
which cannot be handled in isac's Scripts
# added ProgLang/Language.thy collecting all data about Scripts