src/HOL/ex/Antiquote.thy
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;