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.
added tutorial;
authorwenzelm
Thu, 27 Aug 1998 18:02:40 +0200
changeset 5394 2049fbac1407
parent 5393 7299e531d481
child 5395 b890c27c93d6
added tutorial;
Admin/index.html file | annotate | diff | comparison | revisions 
--- a/Admin/index.html	Thu Aug 27 16:54:55 1998 +0200
+++ b/Admin/index.html	Thu Aug 27 18:02:40 1998 +0200
@@ -57,6 +57,7 @@
 <li> <a href="{ISABELLE}/doc/logics.dvi">Isabelle's Object-Logics</a>
 <li> <a href="{ISABELLE}/doc/ind-defs.dvi">(Co)Inductive Definitions in ZF</a>
 <li> <a href="{ISABELLE}/doc/axclass.dvi">Tutorial on Axiomatic Type Classes</a>
+<li> <a href="{ISABELLE}/doc/tutorial.dvi">Tutorial on Isabelle/HOL</a>
 
 </ul>
isabelle