| changeset 1651 | f731e9aff866 |
| parent 1650 | 4b949985cf57 |
| child 1653 | a2142526bb01 |
| 1650:4b949985cf57 | 1651:f731e9aff866 |
|---|---|
3 begin |
3 begin |
4 |
4 |
5 (* core haskell *) |
5 (* core haskell *) |
6 |
6 |
7 ML {* val _ = recursive := false *} |
7 ML {* val _ = recursive := false *} |
8 ML {* val _ = cheat_bn_rsp := true *} |
|
9 ML {* val _ = cheat_const_rsp := true *} |
8 ML {* val _ = cheat_const_rsp := true *} |
10 ML {* val _ = cheat_alpha_bn_rsp := true *} |
9 ML {* val _ = cheat_alpha_bn_rsp := true *} |
11 atom_decl var |
10 atom_decl var |
12 atom_decl tvar |
11 atom_decl tvar |
13 |
12 |