src/HOL/IMP/Complete_Lattice.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2012-09-21 nipkow 2012-09-21 conected CS to big-step
2012-08-10 nipkow 2012-08-10 Improved complete lattice formalisation - no more index set.