nLab
equivalence in homotopy type theory (history)

May 16, 2012

• Current (diff)
  by Urs Schreiber at May 16, 2012 19:23:26 from 131.174.41.123
• Revision 6 (diff)
  by Urs Schreiber at May 16, 2012 10:44:23 from 82.169.65.155
• Revision 5 (diff)
  by Urs Schreiber at May 16, 2012 10:05:59 from 82.169.65.155

May 7, 2012

• Revision 4 (diff)
  by Urs Schreiber at May 7, 2012 10:56:29 from 82.113.99.173

December 16, 2011

• Revision 3 (diff)
  by Mike Shulman at December 16, 2011 18:06:42 from 71.136.253.8
• Revision 2 (diff)
  by Urs Schreiber at December 16, 2011 01:49:55 from 82.169.65.155
• Revision 1
  by Mike Shulman at December 16, 2011 00:52:34 from 71.136.253.8