src/HOL/Hoare/HoareAbort.thy
2003-03-11 nipkow 2003-03-11 *** empty log message ***