| Fri, 11 Dec 2009 11:08:58 +0100 | Cezary Kaliszyk | New syntax for definitions. | file | diff | annotate |
| Thu, 10 Dec 2009 08:55:30 +0100 | Cezary Kaliszyk | Moved 'int_induct' to IntEx to keep IntEx2 being just theory of integers in order. | file | diff | annotate |
| Wed, 09 Dec 2009 15:57:47 +0100 | Cezary Kaliszyk | Different syntax for definitions that allows overloading and retrieving of definitions by matching whole constants. | file | diff | annotate |
| Wed, 09 Dec 2009 05:59:49 +0100 | Cezary Kaliszyk | Temporarily repeated fun_map_tac 4 times. Cleaning for all examples work. | file | diff | annotate |