Structure GrammarDeltas


Source File Identifier index Theory binding index

signature GrammarDeltas =
sig

  val thy_deltas : {thyname : string} ->
                   type_grammar.delta list * term_grammar.user_delta list
  val record_tmdelta : term_grammar.user_delta -> unit
  val record_tydelta : type_grammar.delta -> unit

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13