2009-11-23 Cezary Kaliszyk Fixes for atomize
2009-11-23 Cezary Kaliszyk merge
2009-11-23 Cezary Kaliszyk lift_thm with a goal.
2009-11-23 Christian Urban slight change in code layout
2009-11-23 Cezary Kaliszyk Fixes for new code
2009-11-23 Cezary Kaliszyk Removing dead code
2009-11-23 Cezary Kaliszyk Move atomize_goal to QuotMain
2009-11-23 Cezary Kaliszyk Removed second implementation of Regularize/Inject from FSet.
Loading...
(0) -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 tip