# HG changeset patch
# User wenzelm
# Date 863455483 -7200
# Node ID aceb79945d683d1c9ef240e1a9d1fc4cfe216d26
# Parent  0013af1bc2c45d424d1173dbca1a655880141781
added system, ind_defs, axclass;

diff -r 0013af1bc2c4 -r aceb79945d68 doc/Contents
--- a/doc/Contents	Mon May 12 18:43:24 1997 +0200
+++ b/doc/Contents	Mon May 12 18:44:43 1997 +0200
@@ -1,3 +1,6 @@
-intro	Introduction to Isabelle
-ref	The Isabelle Reference Manual
-logics  Isabelle's Object-Logics
+intro		Introduction to Isabelle
+ref		The Isabelle Reference Manual
+system		The Isabelle System Manual
+logics		Isabelle's Object-Logics
+ind-defs	(Co)Inductive Definitions in ZF
+axclass		Tutorial on Axiomatic Type Classes