2009-12-10 | Christian Urban | slightly tuned | changeset | files |
2009-12-10 | Christian Urban | merged | changeset | files |
2009-12-10 | Christian Urban | added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages | changeset | files |
Loading... |