doc/Contents
author wenzelm
Fri, 28 Feb 1997 16:54:32 +0100
changeset 2702 4167688e58aa
parent 2351 873ffd6f70c3
child 3174 aceb79945d68
permissions -rw-r--r--
now uses -m symbols;

intro	Introduction to Isabelle
ref	The Isabelle Reference Manual
logics  Isabelle's Object-Logics