2009-09-25 | Cezary Kaliszyk | A version of the tactic that exports variables correctly. | file | diff | annotate |
2009-09-25 | Cezary Kaliszyk | Minor cleaning: whitespace, commas etc. | file | diff | annotate |
2009-09-24 | Cezary Kaliszyk | Correctly handling abstractions while building goals | file | diff | annotate |
2009-09-24 | Cezary Kaliszyk | Minor cleanup | file | diff | annotate |
2009-09-24 | Cezary Kaliszyk | Found the source for the exception and added a handle for it. | file | diff | annotate |
2009-09-24 | Cezary Kaliszyk | Make the tactic use Trueprop_cong and atomize. | file | diff | annotate |
2009-09-23 | Cezary Kaliszyk | Proper code for getting the prop out of the theorem. | file | diff | annotate |