--- a/src/HOL/ex/Qsort.thy Mon Feb 05 21:27:16 1996 +0100
+++ b/src/HOL/ex/Qsort.thy Mon Feb 05 21:29:06 1996 +0100
@@ -1,6 +1,6 @@
-(* Title: HOL/ex/qsort.thy
+(* Title: HOL/ex/qsort.thy
ID: $Id$
- Author: Tobias Nipkow
+ Author: Tobias Nipkow
Copyright 1994 TU Muenchen
Quicksort