| changeset 18542 | f42e544805f5 |
| parent 15729 | 63915e6e5775 |
| child 20950 | 981fa0ce23ed |
--- a/doc-src/Contents Tue Jan 03 00:06:20 2006 +0100 +++ b/doc-src/Contents Tue Jan 03 00:06:22 2006 +0100 @@ -1,1 +1,1 @@ -Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Locales LaTeXsugar +Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar