| Fri, 26 Mar 2010 22:22:41 +0100 | Cezary Kaliszyk | Modified abs_gen_sym and abs_gen_trans so it becomes usable in the proofs. | file | diff | annotate |
| Tue, 23 Mar 2010 09:21:43 +0100 | Cezary Kaliszyk | Moved let properties from Term5 to ExLetRec. | file | diff | annotate |
| Tue, 23 Mar 2010 08:19:33 +0100 | Cezary Kaliszyk | Move manual examples to a subdirectory. | file | diff | annotate | base |