| 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:13:17 +0100 | Cezary Kaliszyk | Move Let properties to ExLet | file | diff | annotate |
| Tue, 23 Mar 2010 08:19:33 +0100 | Cezary Kaliszyk | Move manual examples to a subdirectory. | file | diff | annotate | base |