wneuper <walther.neuper@jku.at> [Sun, 18 Jul 2021 18:15:27 +0200] rev 60331
merged
wneuper <walther.neuper@jku.at> [Sun, 18 Jul 2021 16:20:32 +0200] rev 60330
eliminate ThmC.numerals_to_Free: Test_Isac_Short.thy works with TOODOO s
wneuper <walther.neuper@jku.at> [Sat, 17 Jul 2021 14:05:28 +0200] rev 60329
replace "-*" by "- *" for numerals "*" in test/*
wneuper <walther.neuper@jku.at> [Fri, 16 Jul 2021 07:45:06 +0200] rev 60328
separate poly-1 /-2.sml
wneuper <walther.neuper@jku.at> [Fri, 16 Jul 2021 06:57:34 +0200] rev 60327
separate rational-1 /-2.sml
wneuper <walther.neuper@jku.at> [Thu, 15 Jul 2021 20:09:44 +0200] rev 60326
cleanup Test_Isac_Short.thy
wneuper <walther.neuper@jku.at> [Thu, 15 Jul 2021 20:02:16 +0200] rev 60325
rewrite.sml + poly.sml + rational.sml + polyminus.sml: ok
wneuper <walther.neuper@jku.at> [Thu, 15 Jul 2021 14:10:18 +0200] rev 60324
ewrite.sml + poly.sml + rational.sml: ok, repair rewrite-orders
wneuper <walther.neuper@jku.at> [Tue, 13 Jul 2021 15:28:43 +0200] rev 60323
Test_Some.thy + rewrite.sml + poly.sml + rational.sml: ok
wneuper <walther.neuper@jku.at> [Tue, 13 Jul 2021 10:43:21 +0200] rev 60322
Test_Some.thy + rewrite.sml + poly.sml ok: improve eval_is_atom