Added keywords for random testing.
authorberghofe
Fri Jul 11 15:01:41 2003 +0200 (2003-07-11)
changeset 141097aa5b79daffb
parent 14108 eaf3c75f2c8e
child 14110 c45c94fa16f4
Added keywords for random testing.
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-ZF.el	Fri Jul 11 15:00:54 2003 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Fri Jul 11 15:01:41 2003 +0200
     1.3 @@ -119,6 +119,8 @@
     1.4      "prop"
     1.5      "pwd"
     1.6      "qed"
     1.7 +    "quickcheck"
     1.8 +    "quickcheck_params"
     1.9      "quit"
    1.10      "realizability"
    1.11      "realizers"
    1.12 @@ -257,6 +259,7 @@
    1.13      "print_trans_rules"
    1.14      "prop"
    1.15      "pwd"
    1.16 +    "quickcheck"
    1.17      "remove_thy"
    1.18      "term"
    1.19      "thm"
    1.20 @@ -321,6 +324,7 @@
    1.21      "primrec"
    1.22      "print_ast_translation"
    1.23      "print_translation"
    1.24 +    "quickcheck_params"
    1.25      "realizability"
    1.26      "realizers"
    1.27      "rep_datatype"
     2.1 --- a/etc/isar-keywords.el	Fri Jul 11 15:00:54 2003 +0200
     2.2 +++ b/etc/isar-keywords.el	Fri Jul 11 15:01:41 2003 +0200
     2.3 @@ -120,6 +120,8 @@
     2.4      "prop"
     2.5      "pwd"
     2.6      "qed"
     2.7 +    "quickcheck"
     2.8 +    "quickcheck_params"
     2.9      "quit"
    2.10      "realizability"
    2.11      "realizers"
    2.12 @@ -277,6 +279,7 @@
    2.13      "print_trans_rules"
    2.14      "prop"
    2.15      "pwd"
    2.16 +    "quickcheck"
    2.17      "remove_thy"
    2.18      "term"
    2.19      "thm"
    2.20 @@ -343,6 +346,7 @@
    2.21      "primrec"
    2.22      "print_ast_translation"
    2.23      "print_translation"
    2.24 +    "quickcheck_params"
    2.25      "realizability"
    2.26      "realizers"
    2.27      "recdef"