src/HOL/Tools/TFL/thry.ML
changeset 41589 bbd861837ebc
parent 32952 aeb1e44fbc19
child 58111 82db9ad610b9
--- a/src/HOL/Tools/TFL/thry.ML	Sun Jan 16 15:31:22 2011 +0100
+++ b/src/HOL/Tools/TFL/thry.ML	Sun Jan 16 15:53:03 2011 +0100
@@ -1,7 +1,5 @@
 (*  Title:      HOL/Tools/TFL/thry.ML
-    ID:         $Id$
     Author:     Konrad Slind, Cambridge University Computer Laboratory
-    Copyright   1997  University of Cambridge
 *)
 
 signature THRY =