--- a/src/Pure/thm.ML Sat Feb 26 16:27:45 1994 +0100+++ b/src/Pure/thm.ML Tue Mar 01 16:00:53 1994 +0100@@ -6,8 +6,6 @@ The abstract types "theory" and "thm". Also "cterm" / "ctyp" (certified terms / typs under a signature).-TODO:- NO REP_CTERM!! *) signature THM =