| Sun, 11 Apr 2010 10:36:09 +0200 | Christian Urban | added more robust tracing infrastructure; a strict version of the eqvt_tac raises an error if not all permutations cannot be analysed | changeset | files |
| Fri, 09 Apr 2010 21:51:01 +0200 | Christian Urban | changed the eqvt-tac to move only outermost permutations inside; added tracing infrastructure for the eqvt-tac | changeset | files |
| Fri, 09 Apr 2010 09:02:54 -0700 | Brian Huffman | rewrite paragraph introducing equivariance, add citation to Pitts03 | changeset | files |
| Fri, 09 Apr 2010 08:16:08 -0700 | Brian Huffman | edit 'contributions' section so we do not just quote directly from the reviewer | changeset | files |
| Fri, 09 Apr 2010 11:08:05 +0200 | Christian Urban | renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper | changeset | files |
| Thu, 08 Apr 2010 14:18:38 +0200 | Christian Urban | clarified comment about distinct lists in th efuture work section | changeset | files |