src/HOL/Hoare/HeapSyntax.thy
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 ***