src/HOL/Hoare/Pointers0.thy
2010-03-01 krauss 2010-03-01 more recdef (and old primrec) hunting
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2010-02-23 haftmann 2010-02-23 dropped axclass; dropped Id; session theory Hoare.thy
2010-02-10 wenzelm 2010-02-10 modernized translations;
2005-10-07 nipkow 2005-10-07 changes due to new neq_simproc in simpdata.ML
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-05-14 paulson 2004-05-14 deleted redundant proof lines
2003-01-05 nipkow 2003-01-05 *** empty log message ***