# HG changeset patch
# User nipkow
# Date 762097557 -3600
# Node ID 69d815b0e1ebd5e9a9304fde5a9a07f5d00020cf
# Parent  a73f8a7784bd02d3d9136a821dee70f334b93d72
typo in comment

diff -r a73f8a7784bd -r 69d815b0e1eb ex/Sorting.thy
--- 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 +
diff -r a73f8a7784bd -r 69d815b0e1eb ex/sorting.thy
--- 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 +