History log of /seL4-l4v-master/HOL4/help/Docfiles/Thm.GENL.doc
Revision Date Author Comments
# 51b3ce4b 19-Aug-2005 Michael Norrish <Michael.Norrish@nicta.com.au>

Moved GENL into the kernel (making the standard kernel version much more
efficient).