2009-12-02 | Cezary Kaliszyk | Removed the use of 'rty' from APPLY_RSP, finally LF proofs go automatically. | file | diff | annotate |
2009-12-01 | Cezary Kaliszyk | Cleaning 'aps'. | file | diff | annotate |
2009-11-30 | Cezary Kaliszyk | clean_tac rewrites the definitions the other way | file | diff | annotate |