| Wed, 07 Sep 2011 13:51:32 +0200 | bulwahn | adding the body type as well to the code generation for constants as it is required for type annotations of constants | changeset | files |
| Wed, 07 Sep 2011 13:51:30 +0200 | bulwahn | changing const type to pass along if typing annotations are necessary for disambigous terms | changeset | files |
| Wed, 07 Sep 2011 13:50:17 +0200 | blanchet | fixed THF type constructor syntax | changeset | files |