2010-03-26 | Cezary Kaliszyk | Modified abs_gen_sym and abs_gen_trans so it becomes usable in the proofs. | file | diff | annotate |
2010-03-23 | Cezary Kaliszyk | Move Let properties to ExLet | file | diff | annotate |
2010-03-23 | Cezary Kaliszyk | Move manual examples to a subdirectory. | file | diff | annotate | base |