| changeset 15729 | 63915e6e5775 |
| parent 15290 | ed793a2f3f35 |
| child 18542 | f42e544805f5 |
--- a/doc-src/Contents Thu Apr 14 08:52:46 2005 +0200 +++ b/doc-src/Contents Thu Apr 14 08:56:08 2005 +0200 @@ -1,1 +1,1 @@ -Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Locales +Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Locales LaTeXsugar