src/HOLCF/domain/theorems.ML
changeset 4221 ed0f67fb458b
parent 4098 71e05eb27fb6
child 4252 d5ccc8321e1e
     1.1 --- a/src/HOLCF/domain/theorems.ML	Wed Nov 12 16:26:05 1997 +0100
     1.2 +++ b/src/HOLCF/domain/theorems.ML	Wed Nov 12 16:27:13 1997 +0100
     1.3 @@ -267,7 +267,7 @@
     1.4          if nonlazy args1 = [] then [eq1, eq1 RS not_sym] else
     1.5          if nonlazy args2 = [] then [eq2, eq2 RS not_sym] else
     1.6                                          [eq1, eq2] end;
     1.7 -    open Basis_Library (*restore original List*)
     1.8 +    open BasisLibrary (*restore original List*)
     1.9      fun distincts []      = []
    1.10      |   distincts ((c,leqs)::cs) = List.concat
    1.11  	            (ListPair.map (distinct c) ((map #1 cs),leqs)) @