| Fri, 19 Mar 2010 09:03:10 +0100 | Cezary Kaliszyk | Something is wrong with the statement of strong induction for TySch, as the All case is trivial and Fun case unprovable... | changeset | files |
| Fri, 19 Mar 2010 09:40:57 +0100 | Christian Urban | merged | changeset | files |