# HG changeset patch
# User kleing
# Date 1046534381 -3600
# Node ID f8c38e2d7269d4b1c219f6cd8716b6c0b6ea8e4f
# Parent  ed4e97874454f4421188a495f0e9ec1bea7c838f
added Exercises

diff -r ed4e97874454 -r f8c38e2d7269 doc-src/Contents
--- a/doc-src/Contents	Sat Mar 01 16:57:32 2003 +0100
+++ b/doc-src/Contents	Sat Mar 01 16:59:41 2003 +0100
@@ -1,1 +1,1 @@
-Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef
+Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef Exercises