1.1 --- a/doc-src/IsarRef/Thy/Misc.thy Sat Feb 28 16:35:33 2009 +0100 1.2 +++ b/doc-src/IsarRef/Thy/Misc.thy Sat Feb 28 16:39:46 2009 +0100 1.3 @@ -1,5 +1,3 @@ 1.4 -(* $Id$ *) 1.5 - 1.6 theory Misc 1.7 imports Main 1.8 begin