Walther Neuper <wneuper@ist.tugraz.at> [Thu, 15 Mar 2018 10:17:44 +0100] rev 59405
separate structure Celem: CALC_ELEMENT, all but Knowledge/
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 13 Mar 2018 15:04:27 +0100] rev 59404
delete outdated tests and unused funs
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 13 Mar 2018 14:41:02 +0100] rev 59403
TermC: clean test files, Test_Isac OK
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 13 Mar 2018 10:46:34 +0100] rev 59402
TermC: num_str already required in ListC.thy, thus not shifted to Calc.
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 13 Mar 2018 10:19:55 +0100] rev 59401
TermC: gather Calc.funs
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 13 Mar 2018 09:09:14 +0100] rev 59400
TermC: num_str was lost; re-established more than necessary; Test_Isac works
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 10 Mar 2018 17:20:15 +0100] rev 59399
TermC: clean tests, partially
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 08 Mar 2018 12:30:46 +0100] rev 59398
TermC: prep. comparing tests isabisac <--> isabisac15
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 08 Mar 2018 08:04:04 +0100] rev 59397
these "Pure" are necessary, on of the others caused "Isac.Pure"
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 08 Mar 2018 07:52:06 +0100] rev 59396
TermC: error caused by broken test shows: get_theory "Pure" ...
... causes msg: undefined entry for theory "Isac.Pure"