--- a/src/Modal/S4.thy Mon Feb 05 13:44:28 1996 +0100
+++ b/src/Modal/S4.thy Mon Feb 05 14:44:09 1996 +0100
@@ -1,6 +1,6 @@
-(* Title: 91/Modal/S4
+(* Title: 91/Modal/S4
ID: $Id$
- Author: Martin Coen
+ Author: Martin Coen
Copyright 1991 University of Cambridge
*)