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
Thu, 15 Nov 2001 18:35:15 +0100
changeset 12211 510c3eee55de
parent 12210 2f510d8d8291
child 12212 657ad5edeab6
updated;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-ZF.el	Thu Nov 15 18:34:58 2001 +0100
+++ b/etc/isar-keywords-ZF.el	Thu Nov 15 18:35:15 2001 +0100
@@ -118,6 +118,7 @@
     "quit"
     "redo"
     "remove_thy"
+    "rep_datatype"
     "sect"
     "section"
     "setup"
@@ -168,13 +169,16 @@
   '("and"
     "assumes"
     "binder"
+    "case_eqns"
     "con_defs"
     "concl"
     "defines"
     "domains"
+    "elimination"
     "files"
     "fixes"
     "in"
+    "induction"
     "infix"
     "infixl"
     "infixr"
@@ -184,6 +188,7 @@
     "notes"
     "output"
     "overloaded"
+    "recursor_eqns"
     "structure"
     "type_elims"
     "type_intros"
@@ -303,6 +308,7 @@
     "primrec"
     "print_ast_translation"
     "print_translation"
+    "rep_datatype"
     "setup"
     "syntax"
     "text"
isabelle