equal
deleted
inserted
replaced
1 ;; |
1 ;; |
2 ;; Keyword classification tables for Isabelle/Isar. |
2 ;; Keyword classification tables for Isabelle/Isar. |
3 ;; Generated from Pure + HOL + Pure-ProofGeneral + HOL-Nominal-Prove. |
3 ;; Generated from Pure + HOL + Pure-ProofGeneral + HOL-Nominal-test. |
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 '("\\." |
159 "print_configs" |
159 "print_configs" |
160 "print_context" |
160 "print_context" |
161 "print_drafts" |
161 "print_drafts" |
162 "print_facts" |
162 "print_facts" |
163 "print_induct_rules" |
163 "print_induct_rules" |
|
164 "print_interps" |
164 "print_locale" |
165 "print_locale" |
165 "print_locales" |
166 "print_locales" |
166 "print_methods" |
167 "print_methods" |
167 "print_orders" |
168 "print_orders" |
|
169 "print_quotients" |
168 "print_rules" |
170 "print_rules" |
169 "print_simpset" |
171 "print_simpset" |
170 "print_statement" |
172 "print_statement" |
171 "print_syntax" |
173 "print_syntax" |
172 "print_theorems" |
174 "print_theorems" |
342 "print_configs" |
344 "print_configs" |
343 "print_context" |
345 "print_context" |
344 "print_drafts" |
346 "print_drafts" |
345 "print_facts" |
347 "print_facts" |
346 "print_induct_rules" |
348 "print_induct_rules" |
|
349 "print_interps" |
347 "print_locale" |
350 "print_locale" |
348 "print_locales" |
351 "print_locales" |
349 "print_methods" |
352 "print_methods" |
350 "print_orders" |
353 "print_orders" |
|
354 "print_quotients" |
351 "print_rules" |
355 "print_rules" |
352 "print_simpset" |
356 "print_simpset" |
353 "print_statement" |
357 "print_statement" |
354 "print_syntax" |
358 "print_syntax" |
355 "print_theorems" |
359 "print_theorems" |