Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex
changeset 25004 c62c5209487b
parent 24991 c6f5cc939c29
child 25200 f1d2e106f2fe 
--- 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