--- 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)
--- 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)) @