changeset 49 | 9f35f2744fa8 |
parent 14 | 9b0142dad559 |
--- a/ex/mt.thy Wed Mar 02 12:26:55 1994 +0100 +++ b/ex/mt.thy Thu Mar 17 11:27:29 1994 +0100 @@ -16,19 +16,19 @@ MT = Gfp + types - Const 0 + Const - ExVar 0 - Ex 0 + ExVar + Ex - TyConst 0 - Ty 0 + TyConst + Ty - Clos 0 - Val 0 + Clos + Val - ValEnv 0 - TyEnv 0 + ValEnv + TyEnv arities Const :: term