Sat, 14 May 2011 10:16:16 +0100 | Christian Urban | added a problem with inductive_cases (reported by Randy) | changeset | files |
Fri, 13 May 2011 14:50:17 +0100 | Christian Urban | misc | changeset | files |
Tue, 10 May 2011 17:10:22 +0100 | Christian Urban | made the subtyping work again | changeset | files |