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.
tuned;
authorwenzelm
Sat, 30 Oct 1999 20:21:46 +0200
changeset 7983 d823fdcc0645
parent 7982 d534b897ce39
child 7984 86c0cc789f61
tuned;
src/HOL/README.html file | annotate | diff | comparison | revisions 
--- a/src/HOL/README.html	Sat Oct 30 20:20:48 1999 +0200
+++ b/src/HOL/README.html	Sat Oct 30 20:21:46 1999 +0200
@@ -51,7 +51,7 @@
 <DD>a simple theory of Input/Output Automata
 
 <DT>Isar_examples
-<DD>several Isabelle/Isar example proof documents
+<DD>several introductory Isabelle/Isar examples
 
 <DT>Lambda
 <DD>a proof of the Church-Rosser theorem for lambda-calculus
isabelle