helm/software/matita/nlibrary/topology/grafite.lang

   1 preproc = "napply|ncases|nelim|nletin|ncut|nauto|nwhd|nnormalize|nassumption|ngeneralize|nchange|nrewrite|nlapply"
   2
   3 number =
   4 '\<[+-]?((0x[[:xdigit:]]+)|(([[:digit:]]*\.)?
   5 [[:digit:]]+([eE][+-]?[[:digit:]]+)?))u?((int(?:8|16|32|64))|L)?\>'
   6
   7 string delim "\"" "\"" escape "\\"
   8
   9 keyword = "match|with|in|naxiom|nlemma|ntheorem|nrecord|for|ninductive|ncoinductive|ndefinition|nlet|rec|corec|notation|interpretation|nqed|include"
  10
  11 comment delim "(*" "*)" multiline nested
  12
  13 type = '\<(?:CProp|Type|Prop)\>'
  14
  15 symbol = "[","]","\|","$","@","{","}"
  16