--- a/src/HOL/IMP/Complete_Lattice.thy Fri Sep 21 02:19:44 2012 +0200 +++ b/src/HOL/IMP/Complete_Lattice.thy Fri Sep 21 03:41:10 2012 +0200 @@ -1,3 +1,5 @@ +header "Abstract Interpretation" + theory Complete_Lattice imports Main begin