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/Build/export_theory.scala
changeset 80463 3490a9c96d2f
parent 80447 325907d85977 
--- a/src/Pure/Build/export_theory.scala	Mon Jul 01 12:40:54 2024 +0200
+++ b/src/Pure/Build/export_theory.scala	Mon Jul 01 12:59:18 2024 +0200
@@ -395,7 +395,7 @@
       val (typargs, (args, (prop_body, proof_body))) = {
         import XML.Decode._
         import Term_XML.Decode._
-        pair(list(pair(string, sort)), pair(list(pair(string, typ)), pair(x => x, x => x)))(body)
+        pair(list(pair(string, sort)), pair(list(pair(string, typ)), pair(self, self)))(body)
       }
       val env = args.toMap
       val prop = Term_XML.Decode.term_env(env)(prop_body)
isabelle