@``ME@
Email: <dschepler AT SPAMFREE gmail DOT com>
IteratedFiniteTypes NonInductiveProps ArbitraryArity EqualityFreeInversion
Email: <dschepler AT SPAMFREE gmail DOT com>
IteratedFiniteTypes NonInductiveProps ArbitraryArity EqualityFreeInversion
DanielSchepler (last edited 31-01-2012 20:28:55 by DanielSchepler)