src/HOL/Hoare/Pointer_ExamplesAbort.thy
2003-03-23 nipkow 2003-03-23 *** empty log message ***