wneuper <Walther.Neuper@jku.at> [Wed, 11 Jan 2023 11:38:01 +0100] rev 60650
eliminate use of Thy_Info 12: TermC partially
wneuper <Walther.Neuper@jku.at> [Wed, 11 Jan 2023 09:23:18 +0100] rev 60649
eliminate use of Thy_Info 12: prep.arg. ctxt in TermC, UnparseC
wneuper <Walther.Neuper@jku.at> [Wed, 11 Jan 2023 06:06:12 +0100] rev 60648
eliminate use of Thy_Info 11: arg. ctxt for ThmC.string_of_thm/s
wneuper <Walther.Neuper@jku.at> [Tue, 10 Jan 2023 17:07:53 +0100] rev 60647
eliminate use of Thy_Info 10: arg. ctxt for Rule.to_string finished
wneuper <Walther.Neuper@jku.at> [Tue, 10 Jan 2023 10:01:05 +0100] rev 60646
eliminate use of Thy_Info 9: arg. ctxt for Rule.to_string, Istate.to_string
wneuper <Walther.Neuper@jku.at> [Mon, 09 Jan 2023 16:40:54 +0100] rev 60645
eliminate use of Thy_Info 8: arg. ctxt for Rule.to_string, partially
wneuper <Walther.Neuper@jku.at> [Mon, 09 Jan 2023 16:11:17 +0100] rev 60644
eliminate use of Thy_Info 6: improved ThmC.*_sym_rule
wneuper <Walther.Neuper@jku.at> [Sun, 08 Jan 2023 17:26:00 +0100] rev 60643
eliminate use of Thy_Info 6: improve ctxt in fetchProposedTactic, Error_Pattern, etc
wneuper <Walther.Neuper@jku.at> [Sun, 08 Jan 2023 16:19:31 +0100] rev 60642
eliminate use of Thy_Info 5: ThyC.get_theory in Error_Pattern, Kernel
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