
diff -r 87201c60ae7d -r 521cc9bf2958 src/HOL/Number_Theory/Number_Theory.thy
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Number_Theory/Number_Theory.thy	Tue Sep 01 15:39:33 2009 +0200
@@ -0,0 +1,8 @@
+
+header {* Comprehensive number theory *}
+
+theory Number_Theory
+imports Fib Residues
+begin
+
+end




