etc/isar-keywords-ZF.el
changeset 38837 b47ee8df7ab4
parent 38708 8915e3ce8655
child 39283 635e09dea465
equal deleted inserted replaced
38836:52cee2c5f219 38837:b47ee8df7ab4
     1 ;;
     1 ;;
     2 ;; Keyword classification tables for Isabelle/Isar.
     2 ;; Keyword classification tables for Isabelle/Isar.
     3 ;; Generated from Pure + Pure-ProofGeneral + FOL + ZF.
     3 ;; Generated from Pure + FOL + ZF.
     4 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     4 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     5 ;;
     5 ;;
     6 
     6 
     7 (defconst isar-keywords-major
     7 (defconst isar-keywords-major
     8   '("\\."
     8   '("\\."