src/HOL/Hoare/Pointers0.thy
2004-05-14 paulson 2004-05-14 deleted redundant proof lines
2003-01-05 nipkow 2003-01-05 *** empty log message ***