| changeset 33194 | 13450310a776 |
| parent 33191 | fe3c65d9c577 |
| child 36926 | 90bb12cf8e36 |
--- a/doc-src/Dirs Thu Oct 22 15:50:12 2009 +0200 +++ b/doc-src/Dirs Thu Oct 22 16:34:49 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