wneuper <Walther.Neuper@jku.at> [Tue, 31 Jan 2023 12:29:42 +0100] rev 60665
eliminate use of Thy_Info 13: eliminate UnparseC.term in test/
wneuper <Walther.Neuper@jku.at> [Tue, 31 Jan 2023 11:23:16 +0100] rev 60664
cleanup parse #7: eliminate TermC.parseNEW*; cleanup finished
wneuper <Walther.Neuper@jku.at> [Tue, 31 Jan 2023 10:49:17 +0100] rev 60663
cleanup parse #6: eliminate TermC.parseNEW
wneuper <Walther.Neuper@jku.at> [Mon, 30 Jan 2023 12:38:17 +0100] rev 60662
cleanup parse #5: eliminate TermC.parse_patt
wneuper <Walther.Neuper@jku.at> [Mon, 30 Jan 2023 12:11:40 +0100] rev 60661
cleanup parse #4: eliminate TermC.parse
wneuper <Walther.Neuper@jku.at> [Mon, 30 Jan 2023 09:47:18 +0100] rev 60660
cleanup parse #3: final functions inb ParseC
wneuper <Walther.Neuper@jku.at> [Sun, 29 Jan 2023 14:31:56 +0100] rev 60659
cleanup parse #2: repair error hidden by parse NONE in I_Model.check_single
wneuper <Walther.Neuper@jku.at> [Sat, 28 Jan 2023 13:21:39 +0100] rev 60658
cleanup parse #1: start eliminate parseNEW
wneuper <Walther.Neuper@jku.at> [Thu, 26 Jan 2023 19:02:41 +0100] rev 60657
cleanup
wneuper <Walther.Neuper@jku.at> [Thu, 26 Jan 2023 18:58:17 +0100] rev 60656
renaming