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;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2351
873ffd6f70c3 Contents - list of available documentation;
wenzelm
parents:
diff changeset
     1
intro	Introduction to Isabelle
873ffd6f70c3 Contents - list of available documentation;
wenzelm
parents:
diff changeset
     2
ref	The Isabelle Reference Manual
873ffd6f70c3 Contents - list of available documentation;
wenzelm
parents:
diff changeset
     3
logics  Isabelle's Object-Logics