| changeset 37819 | 000049335247 |
| parent 37748 | 0af0d45257be |
| child 37821 | 3cbb22cec751 |
| 37818:dd65033fed78 | 37819:000049335247 |
|---|---|
5 *) |
5 *) |
6 |
6 |
7 signature CODE_SCALA = |
7 signature CODE_SCALA = |
8 sig |
8 sig |
9 val target: string |
9 val target: string |
10 val check: theory -> Path.T -> unit |
10 val check: theory -> unit |
11 val setup: theory -> theory |
11 val setup: theory -> theory |
12 end; |
12 end; |
13 |
13 |
14 structure Code_Scala : CODE_SCALA = |
14 structure Code_Scala : CODE_SCALA = |
15 struct |
15 struct |