]>
2006-11-22 | Ferruccio Guidi | removed the impredicativity of falsum | blob | commitdiff | raw |
2006-10-03 | Ferruccio Guidi | updated to use destruct instead of disciminate/injection | blob | commitdiff | raw | diff to current |
2006-08-23 | Ferruccio Guidi | new naming | blob | commitdiff | raw | diff to current |