]>
2011-06-14 | Ferruccio Guidi | more lemmas to prove and a correction in subst | blob | commitdiff | raw |
2011-06-06 | Ferruccio Guidi | We reintroduce the distinction between binding and... | blob | commitdiff | raw | diff to current |
2011-06-03 | Ferruccio Guidi | - we introduce extended existentials (generated) | blob | commitdiff | raw | diff to current |
2011-05-14 | Ferruccio Guidi | we added a property | blob | commitdiff | raw | diff to current |
2011-04-19 | Ferruccio Guidi | notation bug fix | blob | commitdiff | raw | diff to current |
2011-04-19 | Ferruccio Guidi | - some bug fixes | blob | commitdiff | raw | diff to current |