Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
made SML/NJ happier
authorblanchet
Sun, 12 Oct 2014 21:52:44 +0200
changeset 58652 da12763acd6b
parent 58651 cfdd09041638
child 58653 4b44c227c0e0
made SML/NJ happier
src/HOL/Tools/ATP/atp_proof_reconstruct.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_proof_reconstruct.ML	Sun Oct 12 19:53:13 2014 +0200
+++ b/src/HOL/Tools/ATP/atp_proof_reconstruct.ML	Sun Oct 12 21:52:44 2014 +0200
@@ -730,7 +730,7 @@
     fun in_group group = member (op =) group o hd
     fun group_of skoX = find_first (fn group => in_group group skoX) groups
 
-    fun new_steps skoXss_steps group =
+    fun new_steps (skoXss_steps : (string list * (term, 'a) atp_step) list) group =
       let
         val name = step_name_of_group group
         val name0 = name |>> prefix "0"
isabelle