| 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 |
| Fri, 05 Oct 2007 22:00:15 +0200 | wenzelm | tuned Induct interface: prefer pred'' over set''; | changeset | files |
| Fri, 05 Oct 2007 22:00:13 +0200 | wenzelm | coinduct: instantiation refers to suffix of main prop (major premise or conclusion); | changeset | files |
| Fri, 05 Oct 2007 22:00:11 +0200 | wenzelm | tuned induct etc.; | changeset | files |
| Fri, 05 Oct 2007 20:10:35 +0200 | wenzelm | execute/system: non-critical; | changeset | files |
| Fri, 05 Oct 2007 20:10:33 +0200 | wenzelm | subtract: minor performance tuning; | changeset | files |