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.
updated
authorhaftmann
Fri, 12 Oct 2007 15:00:21 +0200
changeset 25004 c62c5209487b
parent 25003 0b067b2d1b88
child 25005 60e5516c7b06
updated
doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex	Fri Oct 12 14:42:31 2007 +0200
+++ b/doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex	Fri Oct 12 15:00:21 2007 +0200
@@ -109,7 +109,7 @@
   all those aspects together:
 
   \begin{enumerate}
-    \item specifying abstract parameters togehter with
+    \item specifying abstract parameters together with
        corresponding specifications,
     \item instantating those abstract parameters by a particular
        type
isabelle