etc/isar-keywords.el
changeset 12342 06751df904fb
parent 12059 c224c941769f
child 12365 a90156701dad
equal deleted inserted replaced
12341:08afd1003151 12342:06751df904fb
   174   '("actions"
   174   '("actions"
   175     "and"
   175     "and"
   176     "assumes"
   176     "assumes"
   177     "binder"
   177     "binder"
   178     "compose"
   178     "compose"
   179     "con_defs"
       
   180     "concl"
   179     "concl"
   181     "congs"
   180     "congs"
   182     "defines"
   181     "defines"
   183     "distinct"
   182     "distinct"
   184     "files"
   183     "files"