History log of /seL4-l4v-10.1.1/HOL4/help/Docfiles/Conv.UNBETA_CONV.doc
Revision Date Author Comments
# d4d86933 21-Aug-2002 Michael Norrish <Michael.Norrish@nicta.com.au>

Wrong reference. (Because BETA_CONV is primitive in the logic, it's in
Thm, part of the kernel.)
# 6effffb9 22-Aug-2002 Michael Norrish <Michael.Norrish@nicta.com.au>

Finally got round to adding this extremely useful function.