# HG changeset patch
# User nipkow
# Date 762534053 -3600
# Node ID dc87495814d5cd3b4e491dbd5568b4ce07ede225
# Parent  538db1a98ba3315d2c17f897ebf94aa0bf84244f
deleted a comment

diff -r 538db1a98ba3 -r dc87495814d5 src/Pure/thm.ML
--- 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 =