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