| Wed, 15 Dec 2010 18:20:44 +0100 | boehmes | merged | changeset | files |
| Wed, 15 Dec 2010 18:18:56 +0100 | boehmes | fixed trigger inference: testing if a theorem already has a trigger was too strict; | changeset | files |
| Wed, 15 Dec 2010 16:32:45 +0100 | boehmes | fixed checking and translation of weights (previously, weights occurring in terms were rejected, and weight numbers were unintended translated into Vars) | changeset | files |