| Wed, 22 Aug 2007 17:58:37 +0200 | huffman | move constant definitions to their respective subsections | changeset | files |
| Wed, 22 Aug 2007 17:13:42 +0200 | chaieb | tuned; | changeset | files |
| Wed, 22 Aug 2007 17:13:41 +0200 | chaieb | More selective generalization : a*b is generalized whenever none of a and b is a number | changeset | files |