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;
     1 intro	Introduction to Isabelle
     2 ref	The Isabelle Reference Manual
     3 logics  Isabelle's Object-Logics