--- 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