src/CCL/equalities.ML
changeset 1459 d12da312eff4
parent 757 2ca12511676d
child 3837 d7f033c74b38
--- a/src/CCL/equalities.ML	Mon Jan 29 13:56:41 1996 +0100
+++ b/src/CCL/equalities.ML	Mon Jan 29 13:58:15 1996 +0100
@@ -1,9 +1,9 @@
-(*  Title: 	CCL/equalities
+(*  Title:      CCL/equalities
     ID:         $Id$
 
 Modified version of
-    Title: 	HOL/equalities
-    Author: 	Lawrence C Paulson, Cambridge University Computer Laboratory
+    Title:      HOL/equalities
+    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1991  University of Cambridge
 
 Equalities involving union, intersection, inclusion, etc.