Sat, 27 Mar 2010 08:17:43 +0100 | Cezary Kaliszyk | Initial proof modifications for alpha_res | changeset | files |
Sat, 27 Mar 2010 08:11:45 +0100 | Cezary Kaliszyk | merge | changeset | files |
Sat, 27 Mar 2010 08:11:11 +0100 | Cezary Kaliszyk | Fv/Alpha now takes into account Alpha_Type given from the parser. | changeset | files |
Sat, 27 Mar 2010 06:51:13 +0100 | Cezary Kaliszyk | Minor cleaning. | changeset | files |
Sat, 27 Mar 2010 06:44:47 +0100 | Christian Urban | merged | changeset | files |
Sat, 27 Mar 2010 06:44:14 +0100 | Christian Urban | more on the paper | changeset | files |
Sat, 27 Mar 2010 06:44:16 +0100 | Cezary Kaliszyk | Removed some warnings. | changeset | files |