| changeset 36926 | 90bb12cf8e36 |
| parent 33191 | fe3c65d9c577 |
| child 47320 | 928cb8b35e6e |
--- a/doc-src/Dirs Fri May 14 22:30:24 2010 +0200 +++ b/doc-src/Dirs Fri May 14 22:43:00 2010 +0200 @@ -1,1 +1,1 @@ -Intro Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar Classes Codegen Functions Nitpick Main +Intro Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar Classes Codegen Functions Nitpick Main Sledgehammer