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/Isar/args.ML
changeset 21976 1f608af40542
parent 21879 a3efbae45735
child 22669 62857ad97cca 
--- a/src/Pure/Isar/args.ML	Tue Jan 02 22:43:04 2007 +0100
+++ b/src/Pure/Isar/args.ML	Tue Jan 02 22:43:05 2007 +0100
@@ -188,7 +188,7 @@
   (fn Text s => Text s
     | Typ T => Typ (Morphism.typ phi T)
     | Term t => Term (Morphism.term phi t)
-    | Fact ths => Fact (map (Morphism.thm phi) ths)
+    | Fact ths => Fact (Morphism.fact phi ths)
     | Attribute att => Attribute (fn psi => att (phi $> psi))));
 
 fun maxidx_values (Src ((_, args), _)) = args |> fold
isabelle