| changeset 2306 | 86c977b4a9bb |
| parent 2305 | 93ab397f5980 |
| child 2308 | 387fcbd33820 |
| 2305:93ab397f5980 | 2306:86c977b4a9bb |
|---|---|
5 atom_decl name |
5 atom_decl name |
6 |
6 |
7 ML {* Function.add_function *} |
7 ML {* Function.add_function *} |
8 |
8 |
9 ML {* print_depth 50 *} |
9 ML {* print_depth 50 *} |
10 declare [[STEPS = 8]] |
10 declare [[STEPS = 9]] |
11 |
11 |
12 |
12 |
13 nominal_datatype trm = |
13 nominal_datatype trm = |
14 Var "name" |
14 Var "name" |
15 | App "trm" "trm" |
15 | App "trm" "trm" |