# HG changeset patch
# User wenzelm
# Date 1212928176 -7200
# Node ID 61cd3f61d3baad8a3b8bdfb2583718294e222242
# Parent  2f45c1b1b05dbfd0e3600b4dbab6036bcf8589f7
removed old AxClass;

diff -r 2f45c1b1b05d -r 61cd3f61d3ba doc-src/Contents
--- a/doc-src/Contents	Sun Jun 08 14:29:09 2008 +0200
+++ b/doc-src/Contents	Sun Jun 08 14:29:36 2008 +0200
@@ -1,1 +1,1 @@
-Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen IsarAdvanced/Functions
+Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen IsarAdvanced/Functions