Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated;
authorwenzelm
Wed, 14 Nov 2001 18:42:34 +0100
changeset 12179 5b427479cc14
parent 12178 06c3d9a884c5
child 12180 91c9f661b183
updated;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-ZF.el	Tue Nov 13 22:36:38 2001 +0100
+++ b/etc/isar-keywords-ZF.el	Wed Nov 14 18:42:34 2001 +0100
@@ -34,6 +34,7 @@
     "classes"
     "classrel"
     "clear_undos"
+    "codatatype"
     "coinductive"
     "commit"
     "constdefs"
@@ -41,6 +42,7 @@
     "consts_code"
     "context"
     "corollary"
+    "datatype"
     "declare"
     "def"
     "defaultsort"
@@ -88,6 +90,7 @@
     "presume"
     "pretty_setmargin"
     "prf"
+    "primrec"
     "print_antiquotations"
     "print_ast_translation"
     "print_attributes"
@@ -274,10 +277,12 @@
     "axioms"
     "classes"
     "classrel"
+    "codatatype"
     "coinductive"
     "constdefs"
     "consts"
     "consts_code"
+    "datatype"
     "defaultsort"
     "defs"
     "generate_code"
@@ -293,6 +298,7 @@
     "oracle"
     "parse_ast_translation"
     "parse_translation"
+    "primrec"
     "print_ast_translation"
     "print_translation"
     "setup"
isabelle