Fri, 27 Jul 2012 17:59:18 +0200 | huffman | replace Nat_Arith simprocs with simpler conversions that do less rearrangement of terms | changeset | files |
Fri, 27 Jul 2012 17:57:31 +0200 | huffman | give Nat_Arith simprocs proper name bindings by using simproc_setup | changeset | files |
Fri, 27 Jul 2012 17:34:33 +0200 | blanchet | tweaks in preparation for type encoding evaluation | changeset | files |
Fri, 27 Jul 2012 16:35:02 +0200 | wenzelm | merged | changeset | files |
Fri, 27 Jul 2012 15:42:39 +0200 | huffman | replace abel_cancel simprocs with functionally equivalent, but simpler and faster ones | changeset | files |
Fri, 27 Jul 2012 14:56:37 +0200 | blanchet | nicer Nitpick subscript output in jEdit | changeset | files |