--- a/src/HOL/Bali/DefiniteAssignmentCorrect.thy Wed Feb 10 00:46:56 2010 +0100
+++ b/src/HOL/Bali/DefiniteAssignmentCorrect.thy Wed Feb 10 00:50:36 2010 +0100
@@ -1,5 +1,3 @@
-(* $Id$ *)
-
header {* Correctness of Definite Assignment *}
theory DefiniteAssignmentCorrect imports WellForm Eval begin