src/HOL/ex/Multiquote.thy
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;
2013-05-25 wenzelm 2013-05-25 syntax translations always depend on context;
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-10-17 wenzelm 2001-10-17 guillemot syntax;
2001-09-27 wenzelm 2001-09-27 tuned;
2001-02-01 wenzelm 2001-02-01 tuned
2001-01-10 wenzelm 2001-01-10 use \<acute>;
2001-01-09 nipkow 2001-01-09 *** empty log message ***
2000-10-30 wenzelm 2000-10-30 tuned;
2000-07-13 wenzelm 2000-07-13 tuned;
2000-03-30 wenzelm 2000-03-30 tuned;
2000-03-25 wenzelm 2000-03-25 tuned;
2000-03-24 wenzelm 2000-03-24 plain ASCII;
2000-03-24 wenzelm 2000-03-24 added HOL/ex/Multiquote.thy;