--- a/src/HOL/IMP/VC.thy Mon Feb 05 21:27:16 1996 +0100
+++ b/src/HOL/IMP/VC.thy Mon Feb 05 21:29:06 1996 +0100
@@ -1,6 +1,6 @@
-(* Title: HOL/IMP/VC.thy
+(* Title: HOL/IMP/VC.thy
ID: $Id$
- Author: Tobias Nipkow
+ Author: Tobias Nipkow
Copyright 1996 TUM
acom: annotated commands