changeset 17756 | d4a35f82fbb4 |
parent 17642 | e063c0403650 |
child 17777 | 05f5532a8289 |
--- a/src/Pure/term.ML Tue Oct 04 16:47:40 2005 +0200 +++ b/src/Pure/term.ML Tue Oct 04 19:01:37 2005 +0200 @@ -27,7 +27,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 dummyT: typ