| 2010-04-09 | Christian Urban | changed the eqvt-tac to move only outermost permutations inside; added tracing infrastructure for the eqvt-tac | changeset | files |
| 2010-04-09 | Brian Huffman | rewrite paragraph introducing equivariance, add citation to Pitts03 | changeset | files |
| 2010-04-09 | Brian Huffman | edit 'contributions' section so we do not just quote directly from the reviewer | changeset | files |
| 2010-04-09 | Christian Urban | renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper | changeset | files |
| 2010-04-08 | Christian Urban | clarified comment about distinct lists in th efuture work section | changeset | files |
| 2010-04-08 | Christian Urban | tuned type-schemes example | changeset | files |
| 2010-04-08 | Christian Urban | updated (comment about weirdo example) | changeset | files |
| Loading... | |||