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