wneuper <Walther.Neuper@jku.at> [Sun, 08 Jan 2023 10:30:58 +0100] rev 60640
eliminate use of Thy_Info 3> improved LItool.tac_from_prog
wneuper <Walther.Neuper@jku.at> [Fri, 06 Jan 2023 15:40:45 +0100] rev 60639
eliminate use of Thy_Info 2: ThyC.get_theory in Math_Engine
wneuper <Walther.Neuper@jku.at> [Fri, 06 Jan 2023 15:06:40 +0100] rev 60638
eliminate use of Thy_Info 1: ThyC.get_theory in Specify_Step, Specify, Step_Specify
wneuper <Walther.Neuper@jku.at> [Fri, 06 Jan 2023 11:43:50 +0100] rev 60637
polished
wneuper <Walther.Neuper@jku.at> [Fri, 06 Jan 2023 11:32:57 +0100] rev 60636
eliminate thy-hierarchy 5, end: remove Thy_Write
wneuper <Walther.Neuper@jku.at> [Fri, 06 Jan 2023 10:50:33 +0100] rev 60635
eliminate thy-hierarchy 4: remove Thy_Read
wneuper <Walther.Neuper@jku.at> [Fri, 06 Jan 2023 10:33:16 +0100] rev 60634
eliminate thy-hierarchy 3: shift (part of) metadata to ThyC
wneuper <Walther.Neuper@jku.at> [Fri, 06 Jan 2023 09:55:35 +0100] rev 60633
shift add_errpats to respective theory
wneuper <Walther.Neuper@jku.at> [Fri, 06 Jan 2023 08:33:18 +0100] rev 60632
eliminate thy-hierarchy 2: Error_Pattern.from_store independent
wneuper <Walther.Neuper@jku.at> [Fri, 06 Jan 2023 08:04:36 +0100] rev 60631
eliminate thy-hierarchy 1: Error_Pattern.fill_from_store independent from..