2010-03-27 | Christian Urban | merged | changeset | files |
2010-03-27 | Christian Urban | more on the paper | changeset | files |
2010-03-27 | Cezary Kaliszyk | Removed some warnings. | changeset | files |
2010-03-26 | Cezary Kaliszyk | merge | changeset | files |
2010-03-26 | Cezary Kaliszyk | Modified abs_gen_sym and abs_gen_trans so it becomes usable in the proofs. | changeset | files |
2010-03-26 | Christian Urban | merged | changeset | files |
Loading... |