Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Fri, 25 Oct 2013 20:58:28 +0100] rev 52159
removed all code concerned with "calclist' = Unsynchronized.ref"
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Fri, 25 Oct 2013 20:52:08 +0100] rev 52158
missing change from c18b813d01cf added
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Fri, 25 Oct 2013 19:22:05 +0100] rev 52157
replace "calclist'" in ~~/test/Tools/isac/*
Walther Neuper <neuper@ist.tugraz.at> [Thu, 24 Oct 2013 17:24:47 +0200] rev 52156
removed "rulelist'" also from ~~/test/Tools/isac/*
Notes:
(1) these changes should have been done before e4ddf21390fd
(2) the previous changeset e4ddf21390fd containes a typo in appl.sml,
which should not have happened (NO case for a [-Test_Isac] mark)
Walther Neuper <neuper@ist.tugraz.at> [Thu, 24 Oct 2013 15:00:44 +0200] rev 52155
removed all code concerned with "ruleset' = Unsynchronized.ref"
Walther Neuper <neuper@ist.tugraz.at> [Thu, 24 Oct 2013 14:08:32 +0200] rev 52154
notes on "type cal" and "type calc".
Improvement postponed due to lack of resources.
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Thu, 24 Oct 2013 00:02:29 +0100] rev 52153
switched from "calclist' = Unsynchronized.ref" to Theory_Data
Walther Neuper <neuper@ist.tugraz.at> [Tue, 22 Oct 2013 17:38:34 +0200] rev 52152
replaced Polynomial.thy by version from pre-release website-Isabelle2013-1-RC3
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Mon, 21 Oct 2013 15:57:27 +0100] rev 52151
check differences between Theory_Data and "calclist' = Unsynchronized.ref"
Walther Neuper <neuper@ist.tugraz.at> [Mon, 21 Oct 2013 10:44:08 +0200] rev 52150
cleaned notes on tests and todos
removed src/Tools/isac/TODO.txt: some moved to test/../Test_Isac.thy