changeset 477 | 53fc8ad84b33 |
parent 445 | 7b6d8b8d4580 |
child 486 | 6b58082796f6 |
--- a/src/ZF/ex/Comb.ML Fri Jul 15 13:30:42 1994 +0200 +++ b/src/ZF/ex/Comb.ML Fri Jul 15 13:34:31 1994 +0200 @@ -14,6 +14,7 @@ (*Example of a datatype with mixfix syntax for some constructors*) structure Comb = Datatype_Fun (val thy = Univ.thy; + val thy_name = "Comb"; val rec_specs = [("comb", "univ(0)", [(["K","S"], "i", NoSyn),