src/Pure/Isar/proof_display.ML
2005-09-13 wenzelm 2005-09-13 Printing of Isar proof elements etc.