changeset 58889 | 5b7a9633cfa8 |
parent 51625 | bd3358aac5d2 |
--- a/src/HOL/IMP/Abs_Int_ITP/Complete_Lattice_ix.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/HOL/IMP/Abs_Int_ITP/Complete_Lattice_ix.thy Sun Nov 02 18:21:45 2014 +0100 @@ -1,6 +1,6 @@ (* Author: Tobias Nipkow *) -header "Abstract Interpretation (ITP)" +section "Abstract Interpretation (ITP)" theory Complete_Lattice_ix imports Main