src/Pure/Isar/element.ML
2006-01-07 wenzelm 2006-01-07 pretty_locale: backquote notes;
2005-11-09 wenzelm 2005-11-09 Explicit data structures for some Isar language elements.