Thu, 16 Oct 2008 23:47:01 +0200 | wenzelm | tuned; | changeset | files |
Thu, 16 Oct 2008 23:21:23 +0200 | wenzelm | removed Locales; | changeset | files |
Thu, 16 Oct 2008 22:45:08 +0200 | wenzelm | goal-directed proof now enforces strict proof irrelevance wrt. sort hypotheses; | changeset | files |