changeset 53637 | f8147d885600 |
parent 53553 | d4191bf88529 |
child 53651 | ee90c67502c9 |
--- a/etc/isar-keywords.el Sat Sep 14 18:24:12 2013 +0200 +++ b/etc/isar-keywords.el Sat Sep 14 22:34:25 2013 +0200 @@ -102,6 +102,7 @@ "from" "full_prf" "fun" + "fun_cases" "function" "guess" "have" @@ -524,6 +525,7 @@ "extract_type" "fixrec" "fun" + "fun_cases" "hide_class" "hide_const" "hide_fact"