Walther Neuper <neuper@ist.tugraz.at> [Sun, 22 Jun 2014 14:32:51 +0200] rev 55456
ad thehier: add funs grouping thys handled in Isac
Walther Neuper <neuper@ist.tugraz.at> [Sun, 22 Jun 2014 14:18:02 +0200] rev 55455
ad thehier: link KEStore_Elems to completed IsacKnowledge
Walther Neuper <neuper@ist.tugraz.at> [Thu, 19 Jun 2014 08:27:19 +0200] rev 55454
ad 967c8a1eb6b1 thehier: ATTENTION: some works only in session Isac, not in Build_Isac.thy
Walther Neuper <neuper@ist.tugraz.at> [Thu, 19 Jun 2014 08:15:50 +0200] rev 55453
ad 967c8a1eb6b1 thehier: cleanup
Walther Neuper <neuper@ist.tugraz.at> [Thu, 19 Jun 2014 08:12:08 +0200] rev 55452
ad 967c8a1eb6b1 (7) thehier: remove setup keeping tests run since 130602, 227924cdba6a
Walther Neuper <neuper@ist.tugraz.at> [Thu, 19 Jun 2014 07:51:40 +0200] rev 55451
ad 967c8a1eb6b1 (7) thehier: remove code superfluous by last changeset
Walther Neuper <neuper@ist.tugraz.at> [Thu, 19 Jun 2014 07:40:46 +0200] rev 55450
ad 967c8a1eb6b1 (2,6) thehier: final repair of KEStore_Elems.add_thes
Walther Neuper <neuper@ist.tugraz.at> [Sun, 15 Jun 2014 18:39:59 +0200] rev 55449
merged
Walther Neuper <neuper@ist.tugraz.at> [Sun, 15 Jun 2014 18:27:23 +0200] rev 55448
ad 967c8a1eb6b1 (2,3) thehier: ugly chunk makes Test_Isac run
The chunk of updates was too complex dividing into small changesets.
Complexity is addressed by the comments in KEStore.thy:
# val add_thes: (* thydata dropped at existing elems *)
# val insert_fillpats: (* fillpat update !existing elems *)
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Fri, 13 Jun 2014 12:59:29 +0200] rev 55447
tuned