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.
removed exercised document
authorkleing
Wed, 17 Nov 2004 07:35:14 +0100
changeset 15290 ed793a2f3f35
parent 15289 1d2dba93ef08
child 15291 dd4648ae6eff
removed exercised document
doc-src/Contents file | annotate | diff | comparison | revisions 
--- a/doc-src/Contents	Tue Nov 16 20:20:14 2004 +0100
+++ b/doc-src/Contents	Wed Nov 17 07:35:14 2004 +0100
@@ -1,1 +1,1 @@
-Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Exercises Locales
+Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Locales
isabelle