changeset 3174 | aceb79945d68 |
parent 2351 | 873ffd6f70c3 |
child 5380 | 7036da2cfd72 |
--- a/doc/Contents Mon May 12 18:43:24 1997 +0200 +++ b/doc/Contents Mon May 12 18:44:43 1997 +0200 @@ -1,3 +1,6 @@ -intro Introduction to Isabelle -ref The Isabelle Reference Manual -logics Isabelle's Object-Logics +intro Introduction to Isabelle +ref The Isabelle Reference Manual +system The Isabelle System Manual +logics Isabelle's Object-Logics +ind-defs (Co)Inductive Definitions in ZF +axclass Tutorial on Axiomatic Type Classes