| changeset 14588 | 29311d81954e |
| parent 14492 | a340f6e6f481 |
| child 15290 | ed793a2f3f35 |
--- a/doc-src/Contents Fri Apr 16 12:07:01 2004 +0200 +++ b/doc-src/Contents Fri Apr 16 12:09:31 2004 +0200 @@ -1,1 +1,1 @@ -Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Exercises +Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Exercises Locales