# HG changeset patch
# User wenzelm
# Date 879348433 -3600
# Node ID ed0f67fb458ba30ba54d8f0063c125469c3a6c97
# Parent  3cc85acd9ba85e1f66827a3dab353a8f37aa5d97
structure BasisLibrary;

diff -r 3cc85acd9ba8 -r ed0f67fb458b TFL/tfl.sml
--- a/TFL/tfl.sml	Wed Nov 12 16:26:05 1997 +0100
+++ b/TFL/tfl.sml	Wed Nov 12 16:27:13 1997 +0100
@@ -224,7 +224,7 @@
      case (ty_info ty_name)
      of None => mk_case_fail("Not a known datatype: "^ty_name)
       | Some{case_const,constructors} =>
-        let open Basis_Library (*restore original List*)
+        let open BasisLibrary (*restore original List*)
 	    val case_const_name = #1(dest_Const case_const)
             val nrows = List.concat (map (expand constructors pty) rows)
             val subproblems = divide(constructors, pty, range_ty, nrows)
diff -r 3cc85acd9ba8 -r ed0f67fb458b src/HOLCF/domain/theorems.ML
--- a/src/HOLCF/domain/theorems.ML	Wed Nov 12 16:26:05 1997 +0100
+++ b/src/HOLCF/domain/theorems.ML	Wed Nov 12 16:27:13 1997 +0100
@@ -267,7 +267,7 @@
         if nonlazy args1 = [] then [eq1, eq1 RS not_sym] else
         if nonlazy args2 = [] then [eq2, eq2 RS not_sym] else
                                         [eq1, eq2] end;
-    open Basis_Library (*restore original List*)
+    open BasisLibrary (*restore original List*)
     fun distincts []      = []
     |   distincts ((c,leqs)::cs) = List.concat
 	            (ListPair.map (distinct c) ((map #1 cs),leqs)) @