src/Pure/proofterm.ML
changeset 15632 bb178a7a69c1
parent 15574 b1d1b5bfc464
child 15797 a63605582573
     1.1 --- a/src/Pure/proofterm.ML	Sat Mar 26 00:01:56 2005 +0100
     1.2 +++ b/src/Pure/proofterm.ML	Sat Mar 26 16:14:17 2005 +0100
     1.3 @@ -15,8 +15,8 @@
     1.4       PBound of int
     1.5     | Abst of string * typ option * proof
     1.6     | AbsP of string * term option * proof
     1.7 -   | % of proof * term option
     1.8 -   | %% of proof * proof
     1.9 +   | op % of proof * term option
    1.10 +   | op %% of proof * proof
    1.11     | Hyp of term
    1.12     | PThm of (string * (string * string list) list) * proof * term * typ list option
    1.13     | PAxm of string * term * typ list option