]>
2012-06-01 | Wilmer Ricciotti | Finalized copy sub-machine of the universal turing... | blob | commitdiff | raw |
2012-05-25 | Andrea Asperti | Porting to the new defintion of finset | blob | commitdiff | raw | diff to current |
2012-05-17 | Wilmer Ricciotti | Added null character. | blob | commitdiff | raw | diff to current |
2012-05-14 | Andrea Asperti | progress | blob | commitdiff | raw | diff to current |
2012-05-11 | Andrea Asperti | restructuring | blob | commitdiff | raw | diff to current |
2012-05-11 | Wilmer Ricciotti | Finished wsem_compare proof. | blob | commitdiff | raw | diff to current |
2012-05-11 | Andrea Asperti | progress | blob | commitdiff | raw | diff to current |
2012-05-10 | Wilmer Ricciotti | Progress. | blob | commitdiff | raw | diff to current |
2012-05-10 | Wilmer Ricciotti | Progress. | blob | commitdiff | raw | diff to current |
2012-05-09 | Wilmer Ricciotti | Progress. | blob | commitdiff | raw | diff to current |
2012-05-09 | Wilmer Ricciotti | Progress in compare.ma (some machines have been moved... | blob | commitdiff | raw | diff to current |