diff -r 5a2cc5752cb6 -r fa2eb95b1b2d TFL/tfl.sml
--- a/TFL/tfl.sml	Sat Nov 01 13:00:31 1997 +0100
+++ b/TFL/tfl.sml	Sat Nov 01 13:01:07 1997 +0100
@@ -224,8 +224,9 @@
      case (ty_info ty_name)
      of None => mk_case_fail("Not a known datatype: "^ty_name)
       | Some{case_const,constructors} =>
-        let val case_const_name = #1(dest_Const case_const)
-            val nrows = List_.concat (map (expand constructors pty) rows)
+        let open Basis_Library (*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)
             val groups      = map #group subproblems
             and new_formals = map #new_formals subproblems
@@ -239,7 +240,7 @@
             val types = map type_of (case_functions@[u]) @ [range_ty]
             val case_const' = Const(case_const_name, list_mk_type types)
             val tree = list_comb(case_const', case_functions@[u])
-            val pat_rect1 = List_.concat
+            val pat_rect1 = List.concat
                               (ListPair.map mk_pat (constructors', pat_rect))
         in (pat_rect1,tree)
         end