diff -r d24cca140eeb -r d60f76680bf4 src/FOLP/classical.ML
--- a/src/FOLP/classical.ML	Wed Feb 25 20:25:27 1998 +0100
+++ b/src/FOLP/classical.ML	Wed Feb 25 20:29:58 1998 +0100
@@ -41,7 +41,7 @@
   val addSEs: claset * thm list -> claset
   val addSIs: claset * thm list -> claset
   val print_cs: claset -> unit
-  val rep_claset: claset -> 
+  val rep_cs: claset -> 
       {safeIs: thm list, safeEs: thm list, hazIs: thm list, hazEs: thm list, 
        safe0_brls:(bool*thm)list, safep_brls: (bool*thm)list,
        haz_brls: (bool*thm)list}
@@ -102,7 +102,7 @@
         safep_brls: (bool*thm)list,
         haz_brls: (bool*thm)list};
   
-fun rep_claset (CS x) = x;
+fun rep_cs (CS x) = x;
 
 (*For use with biresolve_tac.  Combines intrs with swap to catch negated
   assumptions.  Also pairs elims with true. *)