]>
2009-12-04 | Wilmer Ricciotti | Bugfix in inversion (was using refl_eq instead of refl). | blob | commitdiff | raw |
2009-11-25 | Wilmer Ricciotti | Fixed inversion, which was broken by the last changes... | blob | commitdiff | raw | diff to current |
2009-10-08 | Enrico Tassi | avoid warning | blob | commitdiff | raw | diff to current |
2009-10-07 | Claudio Sacerdoti... | Debugging code commented out. | blob | commitdiff | raw | diff to current |
2009-10-06 | Wilmer Ricciotti | Inverters/Inversion: | blob | commitdiff | raw | diff to current |
2009-10-02 | Enrico Tassi | fixed bug in coercion application, input/output swapped... | blob | commitdiff | raw | diff to current |
2009-10-02 | Wilmer Ricciotti | Updated command ninverter. Syntax: | blob | commitdiff | raw | diff to current |
2009-09-30 | Wilmer Ricciotti | Added initial support for inversion principles in Matit... | blob | commitdiff | raw | diff to current |