etc/isar-keywords.el
changeset 54627 8dd1a354ee86
parent 54447 019394de2b41
child 54896 f6f455df1034
     1.1 --- a/etc/isar-keywords.el	Mon Dec 02 20:31:54 2013 +0100
     1.2 +++ b/etc/isar-keywords.el	Mon Dec 02 20:31:54 2013 +0100
     1.3 @@ -344,7 +344,6 @@
     1.4      "module_name"
     1.5      "monos"
     1.6      "morphisms"
     1.7 -    "no_discs_sels"
     1.8      "notes"
     1.9      "obtains"
    1.10      "open"
    1.11 @@ -353,7 +352,6 @@
    1.12      "parametric"
    1.13      "permissive"
    1.14      "pervasive"
    1.15 -    "rep_compat"
    1.16      "shows"
    1.17      "structure"
    1.18      "type_class"