doc/Contents
author paulson
Fri, 17 Jan 1997 12:49:31 +0100
changeset 2516 4d68fbe6378b
parent 2351 873ffd6f70c3
child 3174 aceb79945d68
permissions -rw-r--r--
Now with Andy Gordon's treatment of freshness to replace newN/K

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