src/Pure/Isar/attrib.ML
1998-11-09 wenzelm 1998-11-09 Symbolic theorem attributes.