src/HOL/ex/Antiquote.thy
2015-12-26 wenzelm 2015-12-26 isabelle update_cartouches -c -t;
2014-11-22 wenzelm 2014-11-22 misc tuning and modernization;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-03-20 wenzelm 2014-03-20 more symbols;
2011-08-30 wenzelm 2011-08-30 tuned document;
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};
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-09-27 wenzelm 2001-09-27 tuned;
2000-10-30 wenzelm 2000-10-30 tuned;
2000-07-13 wenzelm 2000-07-13 tuned;
2000-03-23 wenzelm 2000-03-23 ex/Antiquote.thy made new-style theory; removed ex/Antiquote.ML;
1998-08-24 wenzelm 1998-08-24 added Antiquote example;