1.1 --- a/etc/isar-keywords-HOL-Nominal.el Tue Mar 20 15:52:42 2007 +0100
1.2 +++ b/etc/isar-keywords-HOL-Nominal.el Tue Mar 20 15:52:43 2007 +0100
1.3 @@ -43,6 +43,7 @@
1.4 "code_axioms"
1.5 "code_class"
1.6 "code_const"
1.7 + "code_datatype"
1.8 "code_gen"
1.9 "code_instance"
1.10 "code_library"
1.11 @@ -199,6 +200,7 @@
1.12 "thm"
1.13 "thm_deps"
1.14 "thus"
1.15 + "thy_deps"
1.16 "token_translation"
1.17 "touch_all_thys"
1.18 "touch_child_thys"
1.19 @@ -344,6 +346,7 @@
1.20 "term"
1.21 "thm"
1.22 "thm_deps"
1.23 + "thy_deps"
1.24 "touch_all_thys"
1.25 "touch_child_thys"
1.26 "touch_thy"
1.27 @@ -386,6 +389,7 @@
1.28 "code_axioms"
1.29 "code_class"
1.30 "code_const"
1.31 + "code_datatype"
1.32 "code_instance"
1.33 "code_library"
1.34 "code_module"
2.1 --- a/etc/isar-keywords-ZF.el Tue Mar 20 15:52:42 2007 +0100
2.2 +++ b/etc/isar-keywords-ZF.el Tue Mar 20 15:52:43 2007 +0100
2.3 @@ -41,6 +41,7 @@
2.4 "code_axioms"
2.5 "code_class"
2.6 "code_const"
2.7 + "code_datatype"
2.8 "code_gen"
2.9 "code_instance"
2.10 "code_library"
2.11 @@ -182,6 +183,7 @@
2.12 "thm"
2.13 "thm_deps"
2.14 "thus"
2.15 + "thy_deps"
2.16 "token_translation"
2.17 "touch_all_thys"
2.18 "touch_child_thys"
2.19 @@ -322,6 +324,7 @@
2.20 "term"
2.21 "thm"
2.22 "thm_deps"
2.23 + "thy_deps"
2.24 "touch_all_thys"
2.25 "touch_child_thys"
2.26 "touch_thy"
2.27 @@ -364,6 +367,7 @@
2.28 "code_axioms"
2.29 "code_class"
2.30 "code_const"
2.31 + "code_datatype"
2.32 "code_instance"
2.33 "code_library"
2.34 "code_module"
3.1 --- a/etc/isar-keywords.el Tue Mar 20 15:52:42 2007 +0100
3.2 +++ b/etc/isar-keywords.el Tue Mar 20 15:52:43 2007 +0100
3.3 @@ -43,6 +43,7 @@
3.4 "code_axioms"
3.5 "code_class"
3.6 "code_const"
3.7 + "code_datatype"
3.8 "code_gen"
3.9 "code_instance"
3.10 "code_library"
3.11 @@ -201,6 +202,7 @@
3.12 "thm"
3.13 "thm_deps"
3.14 "thus"
3.15 + "thy_deps"
3.16 "token_translation"
3.17 "touch_all_thys"
3.18 "touch_child_thys"
3.19 @@ -361,6 +363,7 @@
3.20 "term"
3.21 "thm"
3.22 "thm_deps"
3.23 + "thy_deps"
3.24 "touch_all_thys"
3.25 "touch_child_thys"
3.26 "touch_thy"
3.27 @@ -403,6 +406,7 @@
3.28 "code_axioms"
3.29 "code_class"
3.30 "code_const"
3.31 + "code_datatype"
3.32 "code_instance"
3.33 "code_library"
3.34 "code_module"