2009-11-23 | Cezary Kaliszyk | Fixes for atomize | changeset | files |
2009-11-23 | Cezary Kaliszyk | merge | changeset | files |
2009-11-23 | Cezary Kaliszyk | lift_thm with a goal. | changeset | files |
2009-11-23 | Christian Urban | slight change in code layout | changeset | files |
2009-11-23 | Cezary Kaliszyk | Fixes for new code | changeset | files |
2009-11-23 | Cezary Kaliszyk | Removing dead code | changeset | files |
2009-11-23 | Cezary Kaliszyk | Move atomize_goal to QuotMain | changeset | files |
2009-11-23 | Cezary Kaliszyk | Removed second implementation of Regularize/Inject from FSet. | changeset | files |
Loading... |