src/Pure/Proof/proof_syntax.ML
changeset 33388 d64545e6cba5
parent 31943 5e960a0780a2
child 35122 305b3eb5b9d5
     1.1 --- a/src/Pure/Proof/proof_syntax.ML	Mon Nov 02 20:48:08 2009 +0100
     1.2 +++ b/src/Pure/Proof/proof_syntax.ML	Mon Nov 02 20:50:48 2009 +0100
     1.3 @@ -19,7 +19,7 @@
     1.4    val pretty_proof_of: Proof.context -> bool -> thm -> Pretty.T
     1.5  end;
     1.6  
     1.7 -structure ProofSyntax : PROOF_SYNTAX =
     1.8 +structure Proof_Syntax : PROOF_SYNTAX =
     1.9  struct
    1.10  
    1.11  open Proofterm;