Walther Neuper <neuper@ist.tugraz.at> [Sun, 04 May 2014 14:02:23 +0200] rev 55412
error (from <NEXT> on new Worksheet) related to thehier
Walther Neuper <neuper@ist.tugraz.at> [Tue, 18 Mar 2014 08:56:41 +0100] rev 55411
notes on how "Generate representations for ISAC Knowledge"
Walther Neuper <neuper@ist.tugraz.at> [Tue, 18 Mar 2014 08:42:45 +0100] rev 55410
generated xml-files from Test_Build_Thydata.thy
next step will be generation of html from xml by java-frontend
Walther Neuper <neuper@ist.tugraz.at> [Tue, 18 Mar 2014 06:36:57 +0100] rev 55409
ad 967c8a1eb6b1 (2): add functions accessing Theory_Data in parallel to thehier
# FIXME the stubs
# FIXME: filter Thm ("inv_...", thm) in "fun thms_of_rlss" ? "fun thms_of_rls"
and handle these avoiding "??unknown"
# FIXME: test/../build_thydata.sml, ../thy-hierarchy.sml are not updated to new
"fun collect_part"
Walther Neuper <neuper@ist.tugraz.at> [Mon, 17 Mar 2014 15:20:15 +0100] rev 55408
re-establish tests for thehier
tests are not all up to date with the re-established
construction of thehier
Walther Neuper <neuper@ist.tugraz.at> [Mon, 17 Mar 2014 13:56:34 +0100] rev 55407
tuned
Walther Neuper <neuper@ist.tugraz.at> [Mon, 17 Mar 2014 13:53:19 +0100] rev 55406
tuned
Walther Neuper <neuper@ist.tugraz.at> [Mon, 17 Mar 2014 08:54:48 +0100] rev 55405
re-establish construction of thehier
NEW construction in Build_Thydata.thy in parallel to
OLD construction in Test_Some.thy: only works on session Isac.
Note on failure of OLD construction see section 'Build <Theory>-Data'.
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Wed, 12 Mar 2014 17:43:22 +0100] rev 55404
mathias lehnfeld master thesis latex files added
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Mon, 10 Mar 2014 21:16:40 +0100] rev 55403
test_appendFormula experiments removed from tests.