Changes between Version 12 and Version 13 of IntermediateTypes
- Timestamp:
- 08/04/06 07:31:36 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
IntermediateTypes
v12 v13 208 208 * Typechecking 209 209 210 * Environments and substitution210 ** Environments and substitution 211 211 212 212 == Simplification ==
