| Sun, 01 May 2011 21:53:32 +0200 | blanchet | beware of polymorphic types in typed translation symbol declarations -- match alpha-equivalent types and, more importantly, prevent unsoundnesses by generating type constraints on the arguments of a polymorphic symbols (otherwise "hAPP" can be given any result type) | changeset | files |
| Sun, 01 May 2011 18:57:45 +0200 | blanchet | minor doc fixes | changeset | files |
| Sun, 01 May 2011 18:52:38 +0200 | blanchet | adapt to new type system names | changeset | files |