src/HOL/Hoare/SepLogHeap.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-30 wenzelm 2011-03-30 modernized specifications;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-08-11 wenzelm 2010-08-11 modernized specifications; tuned headers;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2006-01-04 nipkow 2006-01-04 Reversed Larry's option/iff change.
2005-12-21 paulson 2005-12-21 removed or modified some instances of [iff]
2005-08-01 wenzelm 2005-08-01 no eq_sym_conv; tuned;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-06-26 nipkow 2003-06-26 *** empty log message ***