History log of /seL4-l4v-master/HOL4/src/floating-point/fp64Syntax.sml
Revision Date Author Comments
# cc6fcc2c 15-Feb-2016 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Ensure most of the "floating-point" development works with Moscow ML.

The computeLib support still relies on some SML structures that aren't yet available under Moscow ML (2.10).