--- a/src/Modal/ex/S4thms.ML Mon Jan 29 14:16:13 1996 +0100
+++ b/src/Modal/ex/S4thms.ML Tue Jan 30 13:42:57 1996 +0100
@@ -1,6 +1,6 @@
-(* Title: 91/Modal/ex/S4thms
+(* Title: 91/Modal/ex/S4thms
ID: $Id$
- Author: Martin Coen
+ Author: Martin Coen
Copyright 1991 University of Cambridge
*)