| author | Walther Neuper <walther.neuper@jku.at> |
| Tue, 21 Apr 2020 10:13:30 +0200 | |
| changeset 59894 | b9e10434530c |
| child 59895 | 454fad8ab67a |
| permissions | -rw-r--r-- |
1 (* Title: Interpret/lucas-interpreter.sml
2 Author: Walther Neuper 2019
3 (c) due to copyright terms
4 *)
6 signature METHOD =
7 sig
9 (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
10 (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
11 ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
12 end
14 (**)
15 structure Method(**): METHOD(**) =
16 struct
17 (**)
20 (**)end(**)