History log of /seL4-l4v-10.1.1/HOL4/src/parse/TypeNet.sig
Revision Date Author Comments
# a441ce8f 21-Sep-2006 Michael Norrish <Michael.Norrish@nicta.com.au>

Bug-fixes for the TypeNet implementation.
# 37b245ef 21-Sep-2006 Michael Norrish <Michael.Norrish@nicta.com.au>

Move the TypeNet implementation into src/parse, where I want to use it
to implement printing of type abbreviations.