src/Pure/Isar/antiquote.ML
2006-03-21 wenzelm 2006-03-21 avoid polymorphic equality;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-05-10 wenzelm 2004-05-10 changed Symbol.beginning;
2004-04-16 berghofe 2004-04-16 Replaced quote by Library.quote, since quote now refers to Symbol.quote
2002-02-12 wenzelm 2002-02-12 ANTIQUOTE_FAIL;
2000-06-25 wenzelm 2000-06-25 Text with antiquotations of inner items (terms, types etc.).