etc/isar-keywords-HOL-Nominal.el
changeset 24876 81ed46bc0420
parent 24866 6e6d9e80ebb4
equal deleted inserted replaced
24875:8e6ca75bf5aa 24876:81ed46bc0420
     1 ;;
     1 ;;
     2 ;; Keyword classification tables for Isabelle/Isar.
     2 ;; Keyword classification tables for Isabelle/Isar.
     3 ;; This file was generated by Isabelle/HOL/HOL-Nominal -- DO NOT EDIT!
     3 ;; This file was generated from HOL + HOL-Nominal -- DO NOT EDIT!
     4 ;;
     4 ;;
     5 ;; $Id$
     5 ;; $Id$
     6 ;;
     6 ;;
     7 
     7 
     8 (defconst isar-keywords-major
     8 (defconst isar-keywords-major