equal
deleted
inserted
replaced
|
1 (* Title: BaseDefinitions/celem-3.sml |
|
2 Author: Walther Neuper |
|
3 (c) due to copyright terms |
|
4 |
|
5 *) |
|
6 signature CALCELEMENT_3 = |
|
7 (*/------- to Celem3 -------\*) |
|
8 (*\------- to Celem3 -------/*) |
|
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 structure Celem3(**): CALCELEMENT_3(**) = |
|
19 struct |
|
20 (**) |
|
21 |
|
22 (*/------- to Celem3 -------\*) |
|
23 (*\------- to Celem3 -------/*) |
|
24 |
|
25 (**)end(**) |