added keywords
authorbulwahn
Tue Dec 20 17:40:15 2011 +0100 (2011-12-20)
changeset 45926f4f22d87e364
parent 45925 cd4243c025bb
child 45927 e0305e4f02c9
added keywords
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Tue Dec 20 17:39:56 2011 +0100
     1.2 +++ b/etc/isar-keywords.el	Tue Dec 20 17:40:15 2011 +0100
     1.3 @@ -196,6 +196,7 @@
     1.4      "pwd"
     1.5      "qed"
     1.6      "quickcheck"
     1.7 +    "quickcheck_generator"
     1.8      "quickcheck_params"
     1.9      "quit"
    1.10      "quotient_definition"
    1.11 @@ -505,6 +506,7 @@
    1.12      "primrec"
    1.13      "print_ast_translation"
    1.14      "print_translation"
    1.15 +    "quickcheck_generator"
    1.16      "quickcheck_params"
    1.17      "quotient_definition"
    1.18      "realizability"