diff -r f9f2e1643593 -r 322e2a3335d4 Admin/page/Contents
--- a/Admin/page/Contents	Mon Jun 06 14:12:07 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,18 +0,0 @@
-Learning Isabelle
-  tutorial      Tutorial on Isabelle/HOL
-  isar-overview Tutorial on Isar
-  locales       Tutorial on Locales
-
-Reference Manuals
-  isar-ref      The Isabelle/Isar Reference Manual
-  ref           The Isabelle Reference Manual
-  system        The Isabelle System Manual
-
-Logics
-  logics        Isabelle's Logics: overview and misc logics
-  logics-HOL    Isabelle's Logics: HOL
-  logics-ZF     Isabelle's Logics: FOL and ZF
-
-Specific Topics
-  axclass       Tutorial on Axiomatic Type Classes
-  ind-defs      (Co)Inductive Definitions in ZF