src/Pure/Isar/element.ML
2006-02-02 wenzelm 2006-02-02 added concluding statements: Shows/Obtains;
2006-01-13 wenzelm 2006-01-13 uniform handling of fixes; mixfix: added Structure;
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.