src/HOL/IMP/Live.thy
2010-03-15 nipkow 2010-03-15 tuned inductions
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2008-11-20 nipkow 2008-11-20 added optimizer
2008-10-14 nipkow 2008-10-14 Added liveness analysis