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 +