History log of /seL4-l4v-10.1.1/HOL4/src/parse/type_grammar_dtype.sml
Revision Date Author Comments
# af6c06dc 03-Oct-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Convert type-grammars to use deltas for updates

This is very much analogous to what has been done for term grammars.
# e9e05308 28-Sep-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Add preliminary, unused delta type for type grammars
# d639b93f 28-Sep-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Move type_grammar datatype decls into new _dtype struct