test/Tools/isac/ADDTESTS/open-structure.sml
Tue, 20 Apr 2021 16:58:44 +0200 replace power ^^^ by \<up>
Fri, 07 Feb 2020 12:36:08 +0100 LI: rename Lucin to LI
Thu, 22 Dec 2016 10:39:45 +0100 (partially) closed Ctree works with Test_Isac