1
2 theory RealArith = RealBin
1 theory RealArith = RealBin
3 files "real_arith.ML":
2 files "real_arith.ML":
4
3
5 setup real_arith_setup
4 setup real_arith_setup
6
5