etc/isar-keywords.el
Fri, 28 Sep 2001 16:15:26 +0200 wenzelm updated;
Fri, 31 Aug 2001 18:43:27 +0200 wenzelm keyword classification tables for Isabelle/Isar Proof General
less more (0) tip