1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/isac/BaseDefinitions/celem-5.sml	Fri Apr 17 15:12:19 2020 +0200
     1.3 @@ -0,0 +1,25 @@
     1.4 +(* Title:  BaseDefinitions/celem-5.sml
     1.5 +   Author: Walther Neuper
     1.6 +   (c) due to copyright terms
     1.7 +
     1.8 +          *)
     1.9 +signature CALCELEMENT_5 =
    1.10 +(*/------- to Celem5 -------\*)
    1.11 +(*\------- to Celem5 -------/*)
    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 +structure Celem5(**): CALCELEMENT_5(**) =
    1.22 +struct
    1.23 +(**)
    1.24 +
    1.25 +(*/------- to Celem5 -------\*)
    1.26 +(*\------- to Celem5 -------/*)
    1.27 +
    1.28 +(**)end(**)