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 +