History log of /seL4-l4v-master/HOL4/src/rational/fracSyntax.sml
Revision Date Author Comments
# cda6aefc 21-Nov-2005 Jens Brandt <brandt@cs.uni-kl.de>

Initial version of theory and libraries of rational numbers added.