src/HOL/Hoare/Separation.thy
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)
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-12-21 paulson 2005-12-21 removed or modified some instances of [iff]
2005-10-07 wenzelm 2005-10-07 print_translation: does not handle _idtdummy;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-06-26 nipkow 2003-06-26 *** empty log message ***
2003-05-14 nipkow 2003-05-14 eparation logic - a beginning.
2003-04-08 nipkow 2003-04-08 First working version
2003-03-23 nipkow 2003-03-23 *** empty log message ***
2003-03-17 nipkow 2003-03-17 just a few mods to a few thms
2003-03-11 nipkow 2003-03-11 *** empty log message ***