test/Tools/isac/Knowledge/delete.sml
author wneuper <Walther.Neuper@jku.at>
Wed, 11 Jan 2023 11:38:01 +0100
changeset 60650 06ec8abfd3bc
parent 42321 e68b4b4f0fac
permissions -rw-r--r--
eliminate use of Thy_Info 12: TermC partially
     1 (* Title:  test/../delete.sml
     2    Author: Walther Neuper 110320
     3    (c) copyright due to lincense terms.
     4 *)
     5 
     6 "-----------------------------------------------------------------";
     7 "table of contents -----------------------------------------------";
     8 "-----------------------------------------------------------------";
     9 "----------- test TODO -------------------------------------------";
    10 "-----------------------------------------------------------------";
    11 "-----------------------------------------------------------------";
    12 "-----------------------------------------------------------------";
    13