Changes between Version 382 and Version 383 of TypeFunctionsStatus
- Timestamp:
- 09/30/08 23:29:43 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TypeFunctionsStatus
v382 v383 25 25 26 26 * GADT: 27 * #2235 (trying to use a TF lemma in the form of a local equality annotation, leading to a tricky GADT-TF interaction)27 None. 28 28 29 29 * Misc:
