Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
made tutorial first;
authorwenzelm
Thu, 27 Aug 1998 20:46:36 +0200
changeset 5400 645f46a24c72
parent 5399 0e3b58479d95
child 5401 79d3b232d859
made tutorial first;
doc/Contents file | annotate | diff | comparison | revisions 
--- a/doc/Contents	Thu Aug 27 20:45:57 1998 +0200
+++ b/doc/Contents	Thu Aug 27 20:46:36 1998 +0200
@@ -1,7 +1,7 @@
+tutorial	Tutorial on Isabelle/HOL
 intro		Introduction to Isabelle
 ref		The Isabelle Reference Manual
 system		The Isabelle System Manual
 logics		Isabelle's Object-Logics
 ind-defs	(Co)Inductive Definitions in ZF
 axclass		Tutorial on Axiomatic Type Classes
-tutorial	Tutorial on Isabelle/HOL
isabelle