| changeset 33191 | fe3c65d9c577 |
| parent 30442 | 1bc0638d554d |
| child 36926 | 90bb12cf8e36 |
--- a/doc-src/Dirs Thu Oct 22 09:50:29 2009 +0200 +++ b/doc-src/Dirs Thu Oct 22 14:45:20 2009 +0200 @@ -1,1 +1,1 @@ -Intro Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar Classes Codegen Functions Main +Intro Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar Classes Codegen Functions Nitpick Main