src/HOL/Hoare/HeapSyntaxAbort.thy
2016-01-02 wenzelm 2016-01-02 isabelle update_cartouches -c -t;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-02-23 haftmann 2010-02-23 dropped axclass; dropped Id; session theory Hoare.thy
2010-02-11 wenzelm 2010-02-11 modernized translations; formal markup of @{syntax_const} and @{const_syntax};
2010-02-10 wenzelm 2010-02-10 modernized translations;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-03-23 nipkow 2003-03-23 *** empty log message ***