Mon, 29 Oct 2007 10:37:09 +0100 | krauss | fun/function: generate case names for induction rules | changeset | files |
Sun, 28 Oct 2007 13:18:00 +0100 | wenzelm | append/member: more light-weight way to declare authentic syntax; | changeset | files |
Sun, 28 Oct 2007 13:16:09 +0100 | wenzelm | made SML/NJ happy; | changeset | files |