History log of /seL4-l4v-master/HOL4/src/portableML/UniversalType.sig
Revision Date Author Comments
# 93361c83 25-Jan-2010 Michael Norrish <Michael.Norrish@nicta.com.au>

Add a very simple Universal Type implementation (from mlton.org).