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-03 | Cezary Kaliszyk | Fix eqvt for multiple quantifiers. | file | diff | annotate |
2010-03-03 | Cezary Kaliszyk | weird eqvt | file | diff | annotate |