equal
deleted
inserted
replaced
1 ;; |
1 ;; |
2 ;; Keyword classification tables for Isabelle/Isar. |
2 ;; Keyword classification tables for Isabelle/Isar. |
3 ;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal. |
3 ;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace. |
4 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** |
4 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** |
5 ;; |
5 ;; |
6 ;; $Id$ |
6 ;; $Id$ |
7 ;; |
7 ;; |
8 |
8 |
197 "show" |
197 "show" |
198 "simproc_setup" |
198 "simproc_setup" |
199 "sledgehammer" |
199 "sledgehammer" |
200 "sorry" |
200 "sorry" |
201 "specification" |
201 "specification" |
|
202 "statespace" |
202 "subclass" |
203 "subclass" |
203 "subsect" |
204 "subsect" |
204 "subsection" |
205 "subsection" |
205 "subsubsect" |
206 "subsubsect" |
206 "subsubsection" |
207 "subsubsection" |
477 "record" |
478 "record" |
478 "refute_params" |
479 "refute_params" |
479 "rep_datatype" |
480 "rep_datatype" |
480 "setup" |
481 "setup" |
481 "simproc_setup" |
482 "simproc_setup" |
|
483 "statespace" |
482 "syntax" |
484 "syntax" |
483 "text" |
485 "text" |
484 "text_raw" |
486 "text_raw" |
485 "theorems" |
487 "theorems" |
486 "token_translation" |
488 "token_translation" |