Tue, 29 Jun 2010 11:25:03 +0200 | haftmann | adapted to change in interface | changeset | files |
Tue, 29 Jun 2010 11:25:03 +0200 | haftmann | updated generated document | changeset | files |
Tue, 29 Jun 2010 09:37:23 +0100 | Christian Urban | tuned | changeset | files |
Tue, 29 Jun 2010 07:55:18 +0200 | haftmann | merged | changeset | files |
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 |