1.1 --- a/src/Tools/isac/BaseDefinitions/celem-93.sml	Sun Apr 19 12:22:37 2020 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,26 +0,0 @@
     1.4 -(* Title:  BaseDefinitions/celem-93.sml
     1.5 -   Author: Walther Neuper
     1.6 -   (c) due to copyright terms
     1.7 -
     1.8 -          *)
     1.9 -signature CALCELEMENT_93 =
    1.10 -(*/------- to Celem93 -------\*)
    1.11 -(*\------- to Celem93 -------/*)
    1.12 -sig
    1.13 -(* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
    1.14 -  (*NONE*)
    1.15 -(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
    1.16 -  (*NONE*)
    1.17 -( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.18 -end
    1.19 -
    1.20 -
    1.21 -(**)
    1.22 -structure Celem93(**): CALCELEMENT_93(**) =
    1.23 -struct
    1.24 -(**)
    1.25 -
    1.26 -(*/------- to Celem93 -------\*)
    1.27 -(*\------- to Celem93 -------/*)
    1.28 -
    1.29 -(**)end(**)