doc/Contents
author wenzelm
Mon Dec 09 16:48:30 1996 +0100 (1996-12-09)
changeset 2351 873ffd6f70c3
child 3174 aceb79945d68
permissions -rw-r--r--
Contents - list of available documentation;
wenzelm@2351
     1
intro	Introduction to Isabelle
wenzelm@2351
     2
ref	The Isabelle Reference Manual
wenzelm@2351
     3
logics  Isabelle's Object-Logics