# HG changeset patch
# User nipkow
# Date 1354291921 -3600
# Node ID 5c4c35321e8752eab48cf08f238c54488d05322f
# Parent  735bea8d89c9d738659711b7eb0ba128047eb5c9
tuned

diff -r 735bea8d89c9 -r 5c4c35321e87 src/HOL/IMP/Vars.thy
--- a/src/HOL/IMP/Vars.thy	Thu Nov 29 23:12:50 2012 +0100
+++ b/src/HOL/IMP/Vars.thy	Fri Nov 30 17:12:01 2012 +0100
@@ -1,6 +1,6 @@
 (* Author: Tobias Nipkow *)
 
-header "Definite Assignment Analysis"
+header "Definite Initialization Analysis"
 
 theory Vars imports BExp
 begin