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/HOL/Tools/reconstruction.ML
changeset 15794 5de27a5fc5ed
parent 15684 5ec4d21889d6
child 15955 87cf2ce8ede8 
--- a/src/HOL/Tools/reconstruction.ML	Thu Apr 21 18:56:03 2005 +0200
+++ b/src/HOL/Tools/reconstruction.ML	Thu Apr 21 18:57:18 2005 +0200
@@ -16,7 +16,7 @@
 (**************************************************************)
 
 fun mksubstlist [] sublist = sublist
-  | mksubstlist ((a,b)::rest) sublist = 
+  | mksubstlist ((a, (_, b)) :: rest) sublist = 
       let val vartype = type_of b
           val avar = Var(a,vartype)
           val newlist = ((avar,b)::sublist)
isabelle