src/HOL/IMP/Live.thy
2008-11-20 nipkow 2008-11-20 added optimizer
2008-10-14 nipkow 2008-10-14 Added liveness analysis