--- a/src/Pure/Isar/constdefs.ML Wed Apr 13 18:45:09 2005 +0200 +++ b/src/Pure/Isar/constdefs.ML Wed Apr 13 18:45:25 2005 +0200 @@ -83,3 +83,4 @@ ProofContext.cert_typ ProofContext.cert_term (K I); end; +