src/HOL/Hoare/Pointers0.thy
2016-01-02 wenzelm 2016-01-02 isabelle update_cartouches -c -t;
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-08-11 wenzelm 2010-08-11 modernized specifications; tuned headers;
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 ***