src/HOL/Hoare/SepLogHeap.thy
2003-06-26 nipkow 2003-06-26 *** empty log message ***