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.
tuned dependencies;
authorwenzelm
Fri, 30 Jul 2004 10:44:34 +0200
changeset 15091 77d160469390
parent 15090 970c2668c694
child 15092 7fe7f022476c
tuned dependencies;
src/ZF/upair.thy file | annotate | diff | comparison | revisions 
--- 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