Mercurial Mercurial > repos > Old_HOL / 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.
typo in comment
authornipkow
Thu, 24 Feb 1994 14:45:57 +0100
changeset 47 69d815b0e1eb
parent 46 a73f8a7784bd
child 48 21291189b51e
typo in comment
ex/Sorting.thy file | annotate | diff | comparison | revisions
ex/sorting.thy file | annotate | diff | comparison | revisions 
--- a/ex/Sorting.thy	Wed Feb 23 10:05:35 1994 +0100
+++ b/ex/Sorting.thy	Thu Feb 24 14:45:57 1994 +0100
@@ -3,7 +3,7 @@
     Author: 	Tobias Nipkow
     Copyright   1994 TU Muenchen
 
-Specifikation of sorting
+Specification of sorting
 *)
 
 Sorting = List +
--- a/ex/sorting.thy	Wed Feb 23 10:05:35 1994 +0100
+++ b/ex/sorting.thy	Thu Feb 24 14:45:57 1994 +0100
@@ -3,7 +3,7 @@
     Author: 	Tobias Nipkow
     Copyright   1994 TU Muenchen
 
-Specifikation of sorting
+Specification of sorting
 *)
 
 Sorting = List +
Old_HOL