]>
2007-01-12 | Ferruccio Guidi | procedural: added fwd rewrite in arbitrary proofs ... | blob | commitdiff | raw |
2007-01-10 | Ferruccio Guidi | procedural: buggy ast renderer fixed | blob | commitdiff | raw | diff to current |
2007-01-10 | Ferruccio Guidi | attributes now in the proof status: commit 4 | blob | commitdiff | raw | diff to current |
2006-12-29 | Ferruccio Guidi | - tactics: | blob | commitdiff | raw | diff to current |