2010-03-08 | Cezary Kaliszyk | Gather bindings with same binder, and generate only one permutation for them. | file | diff | annotate |
2010-03-04 | Cezary Kaliszyk | Comment out Weird and Phd until we have an idea how to handle multiple permutations. Transp that works for multiple existentials. | file | diff | annotate |
2010-03-04 | Cezary Kaliszyk | A version that just leaves the supp/\supp goal. Obviously not true. | file | diff | annotate |