etc/isar-keywords-HOL-Nominal.el
changeset 23692 b784849811fc
parent 22864 e2511e6e5cbb
child 23732 f9f89b7cfdc7
equal deleted inserted replaced
23691:cedf9610b71d 23692:b784849811fc
   274     "overloaded"
   274     "overloaded"
   275     "permissive"
   275     "permissive"
   276     "sequential"
   276     "sequential"
   277     "shows"
   277     "shows"
   278     "structure"
   278     "structure"
       
   279     "to"
   279     "unchecked"
   280     "unchecked"
   280     "uses"
   281     "uses"
   281     "where"))
   282     "where"))
   282 
   283 
   283 (defconst isar-keywords-control
   284 (defconst isar-keywords-control