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/ZF/Tools/ind_cases.ML
changeset 21879 a3efbae45735
parent 20916 ee6e3597bb4d
child 22101 6d13239d5f52 
--- a/src/ZF/Tools/ind_cases.ML	Mon Dec 18 08:21:34 2006 +0100
+++ b/src/ZF/Tools/ind_cases.ML	Mon Dec 18 08:21:35 2006 +0100
@@ -60,7 +60,7 @@
 
 (* ind_cases method *)
 
-fun mk_cases_meth (ctxt, props) =
+fun mk_cases_meth (props, ctxt) =
   props
   |> map (smart_cases (ProofContext.theory_of ctxt) (local_simpset_of ctxt)
     (ProofContext.read_prop ctxt))
isabelle