src/HOL/IMP/VCG.thy
changeset 52269 d867812da48b
parent 52268 b28695e5a018
child 52316 cc5718f60778
--- a/src/HOL/IMP/VCG.thy	Fri May 31 07:26:31 2013 +0200
+++ b/src/HOL/IMP/VCG.thy	Fri May 31 07:55:09 2013 +0200
@@ -1,6 +1,6 @@
 (* Author: Tobias Nipkow *)
 
-theory VC imports Hoare begin
+theory VCG imports Hoare begin
 
 subsection "Verification Conditions"