changeset 54627 | 8dd1a354ee86 |
parent 54447 | 019394de2b41 |
child 54896 | f6f455df1034 |
--- a/etc/isar-keywords.el Mon Dec 02 20:31:54 2013 +0100 +++ b/etc/isar-keywords.el Mon Dec 02 20:31:54 2013 +0100 @@ -344,7 +344,6 @@ "module_name" "monos" "morphisms" - "no_discs_sels" "notes" "obtains" "open" @@ -353,7 +352,6 @@ "parametric" "permissive" "pervasive" - "rep_compat" "shows" "structure" "type_class"