--- a/src/ZF/Resid/Cube.thy Mon Feb 05 21:33:14 1996 +0100
+++ b/src/ZF/Resid/Cube.thy Tue Feb 06 12:27:17 1996 +0100
@@ -1,6 +1,6 @@
-(* Title: Cube.thy
+(* Title: Cube.thy
ID: $Id$
- Author: Ole Rasmussen
+ Author: Ole Rasmussen
Copyright 1995 University of Cambridge
Logic Image: ZF
*)