src/Pure/Isar/proof_display.ML
2006-11-21 wenzelm 2006-11-21 moved theorem kinds from PureThy to Thm;
2006-10-07 wenzelm 2006-10-07 added pretty_consts (from specification.ML);
2006-09-19 wenzelm 2006-09-19 'print_theory': bang option for full verbosity;
2006-08-02 wenzelm 2006-08-02 moved debug option to proof_display.ML (again); normalized Proof.context/method type aliases;
2006-07-29 wenzelm 2006-07-29 rename legacy_pretty_thm to pretty_thm_legacy;
2006-07-27 wenzelm 2006-07-27 ProofContext.legacy_pretty_thm;
2006-07-26 wenzelm 2006-07-26 moved pprint functions to Isar/proof_display.ML;
2006-04-27 wenzelm 2006-04-27 tuned basic list operators (flat, maps, map_filter);
2006-04-13 wenzelm 2006-04-13 added print_theorems/theory, print_theorems_diff (from pure_thy.ML);
2006-01-27 wenzelm 2006-01-27 moved theorem tags from Drule to PureThy;
2005-10-04 wenzelm 2005-10-04 minor tweaks for Poplog/ML;
2005-09-13 wenzelm 2005-09-13 Printing of Isar proof elements etc.