Walther Neuper <wneuper@ist.tugraz.at> [Wed, 30 Nov 2016 13:05:08 +0100] rev 59264
finished reformatting Inform
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 30 Nov 2016 12:09:24 +0100] rev 59263
added structure Rtools : REWRITE_TOOLS
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 24 Nov 2016 14:33:42 +0100] rev 59262
added structure Inform : INPUT_FORMULAS
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 22 Nov 2016 10:42:21 +0100] rev 59261
added structure Math_Engine : MATH_ENGINE
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 21 Nov 2016 12:47:02 +0100] rev 59260
added structure Kernel: KERNEL
Note: the preliminary identifier Math_Engine conflicts with mathengine.sml
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 17 Nov 2016 16:40:27 +0100] rev 59259
close structures again after Test_Isac
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 14 Nov 2016 15:51:10 +0100] rev 59258
LUCAS_INTERPRETER works in tests
Note:
This changeset serves demonstrations -- never commit again with
--- ! aktivate for Test_Isac BEGIN ---\*) (*\--- ! aktivate for Test_Isac END ---
instead of
--- ! aktivate for Test_Isac BEGIN ---\* )( *\--- ! aktivate for Test_Isac END ---
See comments in Test_Isac.thy.
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 12 Nov 2016 17:21:43 +0100] rev 59257
--- polished LUCAS_INTERPRETER
Notes
# "---" marks changesets where Test_Isac does not work
# outcommented tests in script.sml moved from src/ to test/
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 27 Oct 2016 10:48:24 +0200] rev 59256
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 27 Oct 2016 10:48:10 +0200] rev 59255
rename get_calculation* to adhoc_thm*