1.1 --- a/etc/isar-keywords.el	Mon Feb 22 10:28:00 2010 +0100
     1.2 +++ b/etc/isar-keywords.el	Mon Feb 22 10:28:49 2010 +0100
     1.3 @@ -188,6 +188,9 @@
     1.4      "print_locales"
     1.5      "print_methods"
     1.6      "print_orders"
     1.7 +    "print_quotconsts"
     1.8 +    "print_quotients"
     1.9 +    "print_quotmaps"
    1.10      "print_rules"
    1.11      "print_simpset"
    1.12      "print_statement"
    1.13 @@ -203,6 +206,8 @@
    1.14      "quickcheck"
    1.15      "quickcheck_params"
    1.16      "quit"
    1.17 +    "quotient_definition"
    1.18 +    "quotient_type"
    1.19      "realizability"
    1.20      "realizers"
    1.21      "recdef"
    1.22 @@ -395,6 +400,9 @@
    1.23      "print_locales"
    1.24      "print_methods"
    1.25      "print_orders"
    1.26 +    "print_quotconsts"
    1.27 +    "print_quotients"
    1.28 +    "print_quotmaps"
    1.29      "print_rules"
    1.30      "print_simpset"
    1.31      "print_statement"
    1.32 @@ -512,6 +520,7 @@
    1.33      "print_ast_translation"
    1.34      "print_translation"
    1.35      "quickcheck_params"
    1.36 +    "quotient_definition"
    1.37      "realizability"
    1.38      "realizers"
    1.39      "recdef"
    1.40 @@ -550,6 +559,7 @@
    1.41      "nominal_inductive2"
    1.42      "nominal_primrec"
    1.43      "pcpodef"
    1.44 +    "quotient_type"
    1.45      "recdef_tc"
    1.46      "rep_datatype"
    1.47      "specification"