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/logic.ML
changeset 14137 c57ec95e7763
parent 14107 215585ac94e2
child 15451 c6c8786b9921 
--- a/src/Pure/logic.ML	Tue Jul 29 13:32:16 2003 +0200
+++ b/src/Pure/logic.ML	Thu Jul 31 00:01:47 2003 +0200
@@ -345,7 +345,7 @@
 (*reverses parameters for substitution*)
 fun goal_params st i =
   let val gi = get_goal st i
-      val rfrees = rev (map Free (rename_wrt_term gi (strip_params gi)))
+      val rfrees = map Free (rename_wrt_term gi (strip_params gi))
   in (gi, rfrees) end;
 
 fun concl_of_goal st i =
isabelle