# HG changeset patch
# User wenzelm
# Date 1002290696 -7200
# Node ID 4c6e9d800628453901d38a97b0e66aeb1a807c03
# Parent  63b0b2ec583096e2388e0ac5d895b0cba0072623
tuned;

diff -r 63b0b2ec5830 -r 4c6e9d800628 src/ZF/pair.thy
--- a/src/ZF/pair.thy	Thu Oct 04 23:27:42 2001 +0200
+++ b/src/ZF/pair.thy	Fri Oct 05 16:04:56 2001 +0200
@@ -1,5 +1,5 @@
 theory pair = upair
-files "simpdata":
+files "simpdata.ML":
 end