equal
deleted
inserted
replaced
1 (* Title: BaseDefinitions/celem-93.sml |
|
2 Author: Walther Neuper |
|
3 (c) due to copyright terms |
|
4 |
|
5 *) |
|
6 signature CALCELEMENT_93 = |
|
7 (*/------- to Celem93 -------\*) |
|
8 (*\------- to Celem93 -------/*) |
|
9 sig |
|
10 (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *) |
|
11 (*NONE*) |
|
12 (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* ) |
|
13 (*NONE*) |
|
14 ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*) |
|
15 end |
|
16 |
|
17 |
|
18 (**) |
|
19 structure Celem93(**): CALCELEMENT_93(**) = |
|
20 struct |
|
21 (**) |
|
22 |
|
23 (*/------- to Celem93 -------\*) |
|
24 (*\------- to Celem93 -------/*) |
|
25 |
|
26 (**)end(**) |
|