--- a/src/HOL/ex/MT.thy Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/MT.thy Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
(* Title: HOL/ex/MT.thy
- ID: $Id$
Author: Jacob Frost, Cambridge University Computer Laboratory
Copyright 1993 University of Cambridge