2012-07-27 | huffman | replace Nat_Arith simprocs with simpler conversions that do less rearrangement of terms | changeset | files |
2012-07-27 | huffman | give Nat_Arith simprocs proper name bindings by using simproc_setup | changeset | files |
2012-07-27 | blanchet | tweaks in preparation for type encoding evaluation | changeset | files |
2012-07-27 | wenzelm | merged | changeset | files |
2012-07-27 | huffman | replace abel_cancel simprocs with functionally equivalent, but simpler and faster ones | changeset | files |
2012-07-27 | blanchet | nicer Nitpick subscript output in jEdit | changeset | files |
Loading... |