| Mon, 28 Jun 2010 15:32:27 +0200 | haftmann | tuned theory text | changeset | files |
| Mon, 28 Jun 2010 15:32:26 +0200 | haftmann | inner_simps is not enough, need also local facts | changeset | files |
| Mon, 28 Jun 2010 15:32:26 +0200 | haftmann | put section on distinctness before listsum; refined code generation operations; dropped ancient infix mem | changeset | files |