Sat, 24 Oct 2009 08:29:11 +0200 | cek | Tried rolling back | changeset | files |
Sat, 24 Oct 2009 08:24:26 +0200 | cek | Cleaning the mess | changeset | files |
Sat, 24 Oct 2009 08:09:40 +0200 | cek | Merge | changeset | files |
Sat, 24 Oct 2009 08:09:09 +0200 | cek | Better tactic and simplified the proof further | changeset | files |
Sat, 24 Oct 2009 01:33:29 +0200 | Christian Urban | fixed problem with incorrect ABS/REP name | changeset | files |
Fri, 23 Oct 2009 18:20:06 +0200 | Cezary Kaliszyk | Stronger tactic, simpler proof. | changeset | files |