History log of /seL4-l4v-10.1.1/HOL4/src/portableML/Arbrat.sig
Revision Date Author Comments
# 6fec3cd7 15-Mar-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Terms and types print interactively.

Thms ignore grammars; term grammars print badly
# 71b4dae2 15-Dec-2009 Michael Norrish <Michael.Norrish@nicta.com.au>

Quick fix for build failure under Moscow ML caused by my changes yesterday.
# 4f6d6903 14-May-2006 Michael Norrish <Michael.Norrish@nicta.com.au>

A naive implementation of rational numbers. Useful for representing
typical real number values from HOL in ML.