History log of /seL4-l4v-master/HOL4/src/portableML/Uref.sml
Revision Date Author Comments
# 6bce49db 10-Jan-2019 immler <immler@in.tum.de>

remove trailing spaces and semicolons
# 2ef0db2e 10-Jan-2019 immler <immler@in.tum.de>

Uref.uref -> Uref.new
# b4bc28b4 10-Jan-2019 immler <immler@in.tum.de>

introduce Uref for both polyml and mosml