etc/isar-keywords-ZF.el
changeset 24904 5b59fadfe878
parent 24876 81ed46bc0420
child 24912 52bc004950c4
equal deleted inserted replaced
24903:57a33f4c2c19 24904:5b59fadfe878
     1 ;;
     1 ;;
     2 ;; Keyword classification tables for Isabelle/Isar.
     2 ;; Keyword classification tables for Isabelle/Isar.
     3 ;; This file was generated from FOL + ZF -- DO NOT EDIT!
     3 ;; Generated from Pure + Pure-ProofGeneral + FOL + ZF
       
     4 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     4 ;;
     5 ;;
     5 ;; $Id$
     6 ;; $Id$
     6 ;;
     7 ;;
     7 
     8 
     8 (defconst isar-keywords-major
     9 (defconst isar-keywords-major