test/Tools/isac/Knowledge/wn.sml
Mon, 30 Jan 2023 09:47:18 +0100 cleanup parse #3: final functions inb ParseC
Wed, 11 Jan 2023 11:38:01 +0100 eliminate use of Thy_Info 12: TermC partially
Sun, 09 Oct 2022 07:44:22 +0200 eliminate term2str in test/*
Mon, 19 Apr 2021 15:02:00 +0200 long identifiers for occurences in test/../termC.sml
Mon, 30 Aug 2010 14:35:51 +0200 renamed test/* according to src/*