1.1 --- a/etc/isar-keywords.el Fri Mar 23 14:26:09 2012 +0100
1.2 +++ b/etc/isar-keywords.el Fri Mar 23 14:29:29 2012 +0100
1.3 @@ -221,6 +221,7 @@
1.4 "sect"
1.5 "section"
1.6 "setup"
1.7 + "setup_lifting"
1.8 "show"
1.9 "simproc_setup"
1.10 "sledgehammer"
1.11 @@ -518,13 +519,13 @@
1.12 "print_translation"
1.13 "quickcheck_generator"
1.14 "quickcheck_params"
1.15 - "quotient_definition"
1.16 "realizability"
1.17 "realizers"
1.18 "recdef"
1.19 "record"
1.20 "refute_params"
1.21 "setup"
1.22 + "setup_lifting"
1.23 "simproc_setup"
1.24 "sledgehammer_params"
1.25 "spark_end"
1.26 @@ -563,6 +564,7 @@
1.27 "nominal_inductive2"
1.28 "nominal_primrec"
1.29 "pcpodef"
1.30 + "quotient_definition"
1.31 "quotient_type"
1.32 "recdef_tc"
1.33 "rep_datatype"