Changes between Version 1 and Version 2 of NewAxioms/ClosedTypeFamilies


Ignore:
Timestamp:
May 30, 2013 8:25:49 PM (11 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified