History log of /seL4-l4v-master/HOL4/src/parse/type_tokens_dtype.sml
Revision Date Author Comments
# ceddc2a0 07-Jan-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Factor type_token type declaration out into one _dtype structure

This avoids having to repeat the declaration in two separate places.