Sun, 29 Nov 2009 03:59:18 +0100 | Christian Urban | introduced a global list of respectfulness lemmas; the attribute is [quot_rsp] | changeset | files |
Sun, 29 Nov 2009 02:51:42 +0100 | Christian Urban | tuned | changeset | files |
Sat, 28 Nov 2009 19:14:12 +0100 | Christian Urban | improved pattern matching inside the inj_repabs_tacs | changeset | files |