changeset 46974 | 7ca3608146d8 |
parent 46938 | cda018294515 |
child 47057 | 12423b36fcc4 |
--- a/etc/isar-keywords-ZF.el Fri Mar 16 22:31:19 2012 +0100 +++ b/etc/isar-keywords-ZF.el Fri Mar 16 22:48:38 2012 +0100 @@ -61,7 +61,6 @@ "exit" "extract" "extract_type" - "finalconsts" "finally" "find_consts" "find_theorems" @@ -359,7 +358,6 @@ "defs" "extract" "extract_type" - "finalconsts" "hide_class" "hide_const" "hide_fact"