History log of /seL4-l4v-10.1.1/HOL4/src/1/theory_tests/gh168eScript.sml
Revision Date Author Comments
# e9827f14 28-Sep-2015 Michael Norrish <Michael.Norrish@nicta.com.au>

Implement/document/test thytype_abbrev

This function allows better control of type abbreviations in their
theory namespaces.