src/HOL/Hyperreal/HyperArith0.thy
author paulson
Wed, 10 Jan 2001 17:21:31 +0100
changeset 10857 47b1f34ddd09
parent 10751 a81ea5d3dd41
permissions -rw-r--r--
revisions e.g. images, transitive closure...

theory HyperArith0 = HyperBin
files "hypreal_arith0.ML":

setup hypreal_arith_setup

end