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/Pure/axclass.ML
changeset 19585 70a1ce3b23ae
parent 19574 7c761751e998
child 19642 ea7162f84677 
--- a/src/Pure/axclass.ML	Sun May 07 00:21:13 2006 +0200
+++ b/src/Pure/axclass.ML	Sun May 07 00:22:05 2006 +0200
@@ -283,7 +283,7 @@
       |> map_term_types (Term.map_atyps (fn TFree _ => Term.aT [] | U => U))
       |> Logic.close_form;
 
-    val axiomss = prep_propp (ctxt, map (map (rpair ([], [])) o snd) raw_specs)
+    val axiomss = prep_propp (ctxt, map (map (rpair []) o snd) raw_specs)
       |> snd |> map (map (prep_axiom o fst));
     val name_atts = Attrib.map_specs (prep_att thy) raw_specs |> map fst;
isabelle