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