Walther Neuper <neuper@ist.tugraz.at> [Thu, 31 Jul 2014 14:15:41 +0200] rev 55485
ad (b): lookup for sym_thmID directly from Isabelle using sym_thm
(within math-engine NO lookup in thehier -- within java in *.xml only!)
Walther Neuper <neuper@ist.tugraz.at> [Mon, 28 Jul 2014 17:06:16 +0200] rev 55484
ad (a): thehier does not contain sym_thmID theorems anymore
this also repaired the "??.unknown" thmIDs in thehier
Walther Neuper <neuper@ist.tugraz.at> [Sat, 26 Jul 2014 14:26:54 +0200] rev 55483
notes on thehier concerning sym_thmID theorems
Walther Neuper <neuper@ist.tugraz.at> [Sat, 26 Jul 2014 14:10:05 +0200] rev 55482
added test which identified error in fun getTactic <-- string_of_thmI
Walther Neuper <neuper@ist.tugraz.at> [Sat, 26 Jul 2014 13:39:00 +0200] rev 55481
notes and plans on Thm, thmID, thmDeriv
Walther Neuper <neuper@ist.tugraz.at> [Thu, 24 Jul 2014 17:22:21 +0200] rev 55480
corrected string_of_thmI, wrong since Isabelle2009-->2011
Walther Neuper <neuper@ist.tugraz.at> [Thu, 24 Jul 2014 15:44:50 +0200] rev 55479
removed the only occurrence of (ill-named) string_of_thm: finished
Walther Neuper <neuper@ist.tugraz.at> [Thu, 24 Jul 2014 15:18:22 +0200] rev 55478
removed the only occurrence of (ill-named) string_of_thm
Walther Neuper <neuper@ist.tugraz.at> [Wed, 23 Jul 2014 16:55:42 +0200] rev 55477
re-ordered calcelems preparing next changeset
Walther Neuper <neuper@ist.tugraz.at> [Wed, 23 Jul 2014 14:32:19 +0200] rev 55476
final docu of mlehnfeld
copy from https://hg.risc.uni-linz.ac.at/wneuper/mlehnfeld
changeset 97ab9b31c84d: Added tag fixed final for changeset 2faac24320f2
author Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at>
Sun, 20 Jul 2014 16:32:03 +0200 (2 days ago)
changeset 38 97ab9b31c84d