src/FOLP/classical.ML

   val addIs : claset * thm list -> claset
   val addSDs: claset * thm list -> claset
   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}
   val best_tac : claset -> int -> tactic
   val contr_tac : int -> tactic

         (*the following are computed from the above*)
         safe0_brls: (bool*thm)list,
         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. *)
 fun joinrules (intrs,elims) =  
   map (pair true) (elims @ swapify intrs)  @  map (pair false) intrs;