| Fri, 19 Mar 2010 14:54:30 +0100 | Cezary Kaliszyk | Use fs typeclass in showing finite support + some cheat cleaning. | file | diff | annotate |
| Fri, 19 Mar 2010 10:23:52 +0100 | Cezary Kaliszyk | TySch strong induction looks ok. | file | diff | annotate |
| Fri, 19 Mar 2010 09:31:38 +0100 | Cezary Kaliszyk | Working on TySch strong induction. | file | diff | annotate |