src/Pure/Isar/element.ML
2006-06-07 wenzelm 2006-06-07 added facts_of; tuned interfaces;
2006-06-05 wenzelm 2006-06-05 added params_of, prems_of; added type witness (from locale.ML); misc cleanup;
2006-05-26 wenzelm 2006-05-26 pretty: do not exterm thm names;
2006-05-07 wenzelm 2006-05-07 removed 'concl is' patterns;
2006-04-27 wenzelm 2006-04-27 tuned basic list operators (flat, maps, map_filter);
2006-04-25 wenzelm 2006-04-25 tuned;
2006-03-21 wenzelm 2006-03-21 avoid polymorphic equality;
2006-03-14 wenzelm 2006-03-14 added pretty_statement;
2006-03-14 wenzelm 2006-03-14 added pretty_stmt; tuned;
2006-02-02 wenzelm 2006-02-02 always use Attrib.src;
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.