src/HOL/Hoare/Pointers0.thy
2020-12-23 wenzelm tuned document, notably authors and sections;
2020-07-02 haftmann extraction of equations x = t from premises beneath meta-all
2019-01-05 wenzelm isabelle update -u control_cartouches;
2018-02-15 wenzelm more symbols;
2018-01-16 wenzelm clarified comments;
2016-01-02 wenzelm isabelle update_cartouches -c -t;
2011-09-12 nipkow new fastforce replacing fastsimp - less confusing name
2011-03-13 wenzelm tuned headers;
2010-08-11 wenzelm modernized specifications;
2010-03-01 krauss more recdef (and old primrec) hunting
2010-03-01 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2010-02-23 haftmann dropped axclass; dropped Id; session theory Hoare.thy
2010-02-10 wenzelm modernized translations;
2005-10-07 nipkow changes due to new neq_simproc in simpdata.ML
2005-06-17 haftmann migrated theory headers to new format
2004-05-14 paulson deleted redundant proof lines
2003-01-05 nipkow *** empty log message ***
less more (0) tip