| Tue, 09 Feb 2010 10:48:42 +0100 | Cezary Kaliszyk | Fixed pattern matching, now the test in Abs works correctly. | file | diff | annotate |
| Mon, 08 Feb 2010 13:50:52 +0100 | Christian Urban | added a test case | file | diff | annotate |
| Mon, 08 Feb 2010 13:12:55 +0100 | Christian Urban | moved some lemmas to Nominal; updated all files | file | diff | annotate |
| Thu, 04 Feb 2010 17:39:04 +0100 | Christian Urban | fixed (permute_eqvt in eqvts makes this simpset always looping) | file | diff | annotate |