| Thu, 24 Nov 2011 21:01:06 +0100 | wenzelm | modernized some old-style infix operations, which were left over from the time of ML proof scripts; | file | diff | annotate |
| 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; | file | diff | annotate |
| Wed, 25 Aug 2010 18:36:22 +0200 | wenzelm | renamed Simplifier.simproc(_i) to Simplifier.simproc_global(_i) to emphasize that this is not the real thing; | file | diff | annotate |
| Tue, 20 Jul 2010 14:08:47 +0200 | haftmann | tuned | file | diff | annotate |
| Tue, 20 Jul 2010 14:01:06 +0200 | haftmann | accomodate for scope of "as" binding in ML | file | diff | annotate |
| Tue, 20 Jul 2010 10:24:18 +0200 | haftmann | tuned code | file | diff | annotate |
| Mon, 19 Jul 2010 20:23:52 +0200 | haftmann | modernized abel_cancel simproc setup | file | diff | annotate |
| Mon, 19 Jul 2010 16:09:43 +0200 | haftmann | discontinued pretending that abel_cancel is logic-independent; cleaned up junk | file | diff | annotate | base |