src/Sequents/Washing.thy

--- a/src/Sequents/Washing.thy	Sat Mar 13 16:37:15 2010 +0100
+++ b/src/Sequents/Washing.thy	Sat Mar 13 16:44:12 2010 +0100
@@ -1,8 +1,6 @@
-
-(* $Id$ *)
-
-(* code by Sara Kalvala, based on Paulson's LK
-                           and Moore's tisl.ML *)
+(*  Title:      Sequents/Washing.thy
+    Author:     Sara Kalvala
+*)
 
 theory Washing
 imports ILL