Structure HOLgrammars

Source File	Identifier index	Theory binding index

signature HOLgrammars =
sig

  exception GrammarError of string
  datatype associativity = LEFT | RIGHT | NONASSOC

  val assocToString : associativity -> string
end

Source File	Identifier index	Theory binding index

HOL 4, Kananaskis-10