etc/isar-keywords.el
changeset 53825 fb66852b3227
parent 53768 46a2154f250c
child 54447 019394de2b41
     1.1 --- a/etc/isar-keywords.el	Tue Sep 24 16:21:04 2013 +0200
     1.2 +++ b/etc/isar-keywords.el	Tue Sep 24 16:54:50 2013 +0200
     1.3 @@ -172,6 +172,7 @@
     1.4      "presume"
     1.5      "pretty_setmargin"
     1.6      "prf"
     1.7 +    "primcorec"
     1.8      "primcorecursive"
     1.9      "primrec"
    1.10      "primrec_new"
    1.11 @@ -561,6 +562,7 @@
    1.12      "parse_ast_translation"
    1.13      "parse_translation"
    1.14      "partial_function"
    1.15 +    "primcorec"
    1.16      "primrec"
    1.17      "primrec_new"
    1.18      "print_ast_translation"