# HG changeset patch
# User paulson
# Date 976039060 -3600
# Node ID f92037156f4dda18ab7e77b10ee14e70ddf94981
# Parent  29dd6ac8c223619a82624ec9a89562a79d106481
new theory Numbers.thy

diff -r 29dd6ac8c223 -r f92037156f4d doc-src/TutorialI/IsaMakefile
--- a/doc-src/TutorialI/IsaMakefile	Tue Dec 05 18:56:57 2000 +0100
+++ b/doc-src/TutorialI/IsaMakefile	Tue Dec 05 18:57:40 2000 +0100
@@ -142,8 +142,8 @@
 
 HOL-Types: HOL $(LOG)/HOL-Types.gz
 
-$(LOG)/HOL-Types.gz: $(OUT)/HOL Types/ROOT.ML Types/Pairs.thy \
-  Types/Typedef.thy \
+$(LOG)/HOL-Types.gz: $(OUT)/HOL Types/ROOT.ML \
+  Types/Numbers.thy Types/Pairs.thy Types/Typedef.thy \
   Types/Overloading0.thy Types/Overloading1.thy Types/Overloading2.thy \
   Types/Overloading.thy Types/Axioms.thy
 	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Types