etc/isar-keywords.el
2001-08-31 wenzelm 2001-08-31 keyword classification tables for Isabelle/Isar Proof General (generated by ProofGeneral.write_keywords from Isabelle/HOLCF/IOA);