Sat, 24 Oct 2009 13:00:54 +0200 | Cezary Kaliszyk | More infrastructure for automatic lifting of theorems lifted before | changeset | files |
Sat, 24 Oct 2009 10:16:53 +0200 | Cezary Kaliszyk | More infrastructure for automatic lifting of theorems lifted before | changeset | files |
Sat, 24 Oct 2009 08:34:14 +0200 | cek | Undid wrong merge | changeset | files |
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 |