src/FOLP/classical.ML
changeset 4653 d60f76680bf4
parent 4440 9ed4098074bc
child 15570 8d8c70b41bab
     1.1 --- a/src/FOLP/classical.ML	Wed Feb 25 20:25:27 1998 +0100
     1.2 +++ b/src/FOLP/classical.ML	Wed Feb 25 20:29:58 1998 +0100
     1.3 @@ -41,7 +41,7 @@
     1.4    val addSEs: claset * thm list -> claset
     1.5    val addSIs: claset * thm list -> claset
     1.6    val print_cs: claset -> unit
     1.7 -  val rep_claset: claset -> 
     1.8 +  val rep_cs: claset -> 
     1.9        {safeIs: thm list, safeEs: thm list, hazIs: thm list, hazEs: thm list, 
    1.10         safe0_brls:(bool*thm)list, safep_brls: (bool*thm)list,
    1.11         haz_brls: (bool*thm)list}
    1.12 @@ -102,7 +102,7 @@
    1.13          safep_brls: (bool*thm)list,
    1.14          haz_brls: (bool*thm)list};
    1.15    
    1.16 -fun rep_claset (CS x) = x;
    1.17 +fun rep_cs (CS x) = x;
    1.18  
    1.19  (*For use with biresolve_tac.  Combines intrs with swap to catch negated
    1.20    assumptions.  Also pairs elims with true. *)