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.
fixed tutorial;
authorwenzelm
Wed, 26 Aug 1998 18:41:00 +0200
changeset 5381 79f98b3136b9
parent 5380 7036da2cfd72
child 5382 dfbe72ddbd2d
fixed tutorial;
doc/Contents file | annotate | diff | comparison | revisions 
--- a/doc/Contents	Wed Aug 26 18:24:11 1998 +0200
+++ b/doc/Contents	Wed Aug 26 18:41:00 1998 +0200
@@ -4,4 +4,4 @@
 logics		Isabelle's Object-Logics
 ind-defs	(Co)Inductive Definitions in ZF
 axclass		Tutorial on Axiomatic Type Classes
-hol		Tutorial on Isabelle/HOL
+tutorial	Tutorial on Isabelle/HOL
isabelle