     1.1 --- a/doc-src/IsarRef/Thy/Document_Preparation.thy	Sat Feb 28 16:35:33 2009 +0100
     1.2 +++ b/doc-src/IsarRef/Thy/Document_Preparation.thy	Sat Feb 28 16:39:46 2009 +0100
     1.3 @@ -1,5 +1,3 @@
     1.4 -(* $Id$ *)
     1.5 -
     1.6  theory Document_Preparation
     1.7  imports Main
     1.8  begin
changeset 30168	9a20be5be90b
parent 28761	9ec4482c9201
child 30397	b6212ae21656