]>
2005-09-22 | Claudio Sacerdoti... | More notation here and there. | blob | commitdiff | raw |
2005-09-19 | Claudio Sacerdoti... | Removed final question marks from {apply|elim|rewrite}s. | blob | commitdiff | raw | diff to current |
2005-09-19 | Claudio Sacerdoti... | .ma inclusions corrected/minimized | blob | commitdiff | raw | diff to current |
2005-09-16 | Enrico Tassi | added a function to reorder the metasenv. | blob | commitdiff | raw | diff to current |
2005-08-22 | Andrea Asperti | The library grows... | blob | commitdiff | raw | diff to current |
2005-07-28 | Claudio Sacerdoti... | Committing all the recent development of Andrea after... | blob | commitdiff | raw | diff to current |
2005-07-26 | Claudio Sacerdoti... | **** Experimental: **** | blob | commitdiff | raw | diff to current |
2005-07-21 | Claudio Sacerdoti... | S_pred moved from Z/times.ma to nat/orders.ma | blob | commitdiff | raw | diff to current |
2005-07-19 | Andrea Asperti | New naming policy for local variables. | blob | commitdiff | raw | diff to current |