wneuper <Walther.Neuper@jku.at> [Sun, 08 Jan 2023 12:33:27 +0100] rev 60641
eliminate use of Thy_Info 4: ThyC.get_theory in Step_Solve, Fetch_Tacs
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