History log of /seL4-l4v-master/HOL4/src/portableML/README
Revision Date Author Comments
# 26201dac 08-Jun-2010 Tjark Weber <Tjark.Weber@cl.cam.ac.uk>

Tuned.
# 7e0e4193 22-Jul-1999 Konrad Slind <konrad.slind@gmail.com>

General cleanup in view of the fact that we now have the Standard Basis
library. Hol98 assumes the existence of this!