| changeset 24876 | 81ed46bc0420 |
| parent 24866 | 6e6d9e80ebb4 |
| child 24904 | 5b59fadfe878 |
| 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/ZF -- DO NOT EDIT! |
3 ;; This file was generated from FOL + ZF -- DO NOT EDIT! |
4 ;; |
4 ;; |
5 ;; $Id$ |
5 ;; $Id$ |
6 ;; |
6 ;; |
7 |
7 |
8 (defconst isar-keywords-major |
8 (defconst isar-keywords-major |