changeset 4493 | 26511042ce07 |
parent 4487 | 9b4c1db5aca1 |
child 4604 | ff8eca799c8f |
--- a/src/Pure/term.ML Sun Dec 28 15:11:54 1997 +0100 +++ b/src/Pure/term.ML Sun Dec 28 15:24:11 1997 +0100 @@ -34,7 +34,7 @@ Var of indexname * typ | Bound of int | Abs of string * typ * term | - op $ of term * term + $ of term * term exception TYPE of string * typ list * term list exception TERM of string * term list val is_Const: term -> bool