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