test/Tools/isac/Knowledge/eqsystem-1a.sml
Wed, 19 Oct 2022 10:43:04 +0200 eliminate term2str in src, Prog_Tac.*_adapt_to_type
Sat, 08 Oct 2022 11:40:48 +0200 follow up 5: cleanup
Fri, 07 Oct 2022 20:46:48 +0200 follow up 3: MethodC.adapt_to_typ on loading by CalcTree, CalcTreeTEST
Mon, 26 Sep 2022 10:57:53 +0200 follow up 2: Problem.adapt_to_typ on loading by CalcTree, CalcTreeTEST