diff -r 3a1aef73b2b2 -r aea5d7fa7ef5 doc-src/Dirs
--- a/doc-src/Dirs	Wed Mar 04 11:05:02 2009 +0100
+++ b/doc-src/Dirs	Wed Mar 04 11:05:29 2009 +0100
@@ -1,1 +1,1 @@
-Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen IsarAdvanced/Functions
+Intro Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar Classes Codegen Functions