src/Pure/term.ML
changeset 15632 bb178a7a69c1
parent 15612 431b281078b3
child 15797 a63605582573
     1.1 --- a/src/Pure/term.ML	Sat Mar 26 00:01:56 2005 +0100
     1.2 +++ b/src/Pure/term.ML	Sat Mar 26 16:14:17 2005 +0100
     1.3 @@ -36,7 +36,7 @@
     1.4      Var of indexname * typ |
     1.5      Bound of int |
     1.6      Abs of string * typ * term |
     1.7 -    $ of term * term
     1.8 +    op $ of term * term
     1.9    structure Vartab : TABLE
    1.10    structure Typtab : TABLE
    1.11    structure Termtab : TABLE