src/HOL/Hoare/Separation.thy
2003-03-11 nipkow 2003-03-11 *** empty log message ***