| Sat, 06 Oct 2007 16:50:04 +0200 | wenzelm | simplified interfaces for outer syntax; | changeset | files |
| Sat, 06 Oct 2007 16:41:22 +0200 | wenzelm | updated; | changeset | files |
| Fri, 05 Oct 2007 23:04:17 +0200 | wenzelm | (co)induct: polymorhic taking''; | changeset | files |
| Fri, 05 Oct 2007 23:04:16 +0200 | wenzelm | added burrow_options; | changeset | files |
| Fri, 05 Oct 2007 23:04:14 +0200 | wenzelm | tuned proofs (via polymorphic taking''); | changeset | files |
| Fri, 05 Oct 2007 22:00:17 +0200 | wenzelm | export get_consumes; | changeset | files |