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/ZF/upair.thy
changeset 15091 77d160469390
parent 14883 ca000a495448
child 16417 9bc16273c2d4 
--- a/src/ZF/upair.thy	Fri Jul 30 10:44:27 2004 +0200
+++ b/src/ZF/upair.thy	Fri Jul 30 10:44:34 2004 +0200
@@ -13,7 +13,7 @@
 header{*Unordered Pairs*}
 
 theory upair = ZF
-files "Tools/typechk":
+files "Tools/typechk.ML":
 
 setup TypeCheck.setup
isabelle