]>
2011-07-24 | Ferruccio Guidi | - sone refactoring | blob | commitdiff | raw |
2011-07-17 | Ferruccio Guidi | more lemmas and some generated logical constants for... | blob | commitdiff | raw | diff to current |
2011-06-18 | Ferruccio Guidi | - xoa: more existential types | blob | commitdiff | raw | diff to current |
2011-06-03 | Ferruccio Guidi | - we introduce extended existentials (generated) | blob | commitdiff | raw | diff to current |