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 exercises
authorkleing
Sat, 01 Mar 2003 19:19:47 +0100
changeset 13843 6b5a1dfe8cfc
parent 13842 f8c38e2d7269
child 13844 44f741cdcea3
added exercises
doc/Contents file | annotate | diff | comparison | revisions 
--- a/doc/Contents	Sat Mar 01 16:59:41 2003 +0100
+++ b/doc/Contents	Sat Mar 01 19:19:47 2003 +0100
@@ -1,4 +1,5 @@
 tutorial	Tutorial on Isabelle/HOL
+exercises	Exercises for Isabelle/HOL
 axclass		Tutorial on Axiomatic Type Classes
 isar-ref	The Isabelle/Isar Reference Manual
 ref		The Isabelle Reference Manual
isabelle