Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/TFL/casesplit.ML
changeset 31723 f5cafe803b55
parent 29270 0eade173f77e
child 31784 bd3486c57ba3 
--- a/src/HOL/Tools/TFL/casesplit.ML	Thu Jun 18 18:31:14 2009 -0700
+++ b/src/HOL/Tools/TFL/casesplit.ML	Fri Jun 19 17:23:21 2009 +0200
@@ -90,7 +90,7 @@
 (* get the case_thm (my version) from a type *)
 fun case_thm_of_ty sgn ty  =
     let
-      val dtypestab = DatatypePackage.get_datatypes sgn;
+      val dtypestab = Datatype.get_datatypes sgn;
       val ty_str = case ty of
                      Type(ty_str, _) => ty_str
                    | TFree(s,_)  => error ("Free type: " ^ s)
isabelle