--- a/src/Pure/Isar/constdefs.ML Tue May 17 18:10:31 2005 +0200 +++ b/src/Pure/Isar/constdefs.ML Tue May 17 18:10:31 2005 +0200 @@ -83,4 +83,3 @@ ProofContext.cert_typ ProofContext.cert_term (K I); end; -