src/HOL/Hoare_Parallel/Quote_Antiquote.thy
2016-02-23 nipkow 2016-02-23 more canonical names
2014-12-27 wenzelm 2014-12-27 update_cartouches; trimmed whitespace;
2014-11-02 wenzelm 2014-11-02 modernized header;
2013-08-28 wenzelm 2013-08-28 more symbols;
2013-05-25 wenzelm 2013-05-25 syntax translations always depend on context;
2011-04-08 wenzelm 2011-04-08 explicit structure Syntax_Trans; discontinued old-style constrainAbsC;
2010-02-11 wenzelm 2010-02-11 modernized translations; formal markup of @{syntax_const} and @{const_syntax};
2010-02-11 wenzelm 2010-02-11 modernized translations;
2009-09-21 haftmann 2009-09-21 theory entry point for session Hoare_Parallel (now also with proper underscore)