| #
f4b51e0c |
|
18-Dec-2009 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Moved a bunch of things from tools-poly/poly to portableML/poly.
Still to do: make Poly Arb{int,num} use Poly's built-in arbitrarily
large integer type. Also want to get rid of the last remaining
"redirect" in tools-poly/poly/poly-init2.ML.
|