Tue, 18 Jan 2011 17:30:47 +0100 | Christian Urban | made alpha_abs_set_stronger1 stronger | changeset | files |
Tue, 18 Jan 2011 17:19:50 +0100 | Christian Urban | removed finiteness assumption from set_rename_perm | changeset | files |
Tue, 18 Jan 2011 22:11:49 +0900 | Cezary Kaliszyk | alpha_abs_set_stronger1 | changeset | files |