| Fri, 11 Nov 2011 12:31:00 +0100 | huffman | merged | changeset | files |
| Fri, 11 Nov 2011 12:30:28 +0100 | huffman | abel_cancel.ML: avoid canceling zeros, which would cause the simproc to return a trivial rewrite; | changeset | files |
| Fri, 11 Nov 2011 11:30:31 +0100 | huffman | use simproc_setup for the remaining nat_numeral simprocs | changeset | files |
| Fri, 11 Nov 2011 11:11:03 +0100 | huffman | use simproc_setup for more nat_numeral simprocs; add simproc tests | changeset | files |