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