nLab
extensional type theory (history)

March 26, 2012

• Current (diff)
  by Urs Schreiber at March 26, 2012 18:43:47 from 89.204.139.123
• Revision 8 (diff)
  by Mike Shulman at March 26, 2012 18:37:50 from 71.136.234.110
• Revision 7 (diff)
  by Mike Shulman at March 26, 2012 03:06:29 from 71.136.234.110

December 12, 2011

• Revision 6 (diff)
  by Urs Schreiber at December 12, 2011 23:21:10 from 82.169.65.155
• Revision 5 (diff)
  by Mike Shulman at December 12, 2011 22:38:46 from 71.136.231.40
• Revision 4 (diff)
  by Urs Schreiber at December 12, 2011 16:50:56 from 82.169.65.155

December 6, 2011

• Revision 3 (diff)
  by Urs Schreiber at December 6, 2011 11:49:30 from 131.174.41.63

November 24, 2011

• Revision 2 (diff)
  by Urs Schreiber at November 24, 2011 16:47:34 from 131.174.40.116

November 18, 2011

• Revision 1
  by Urs Schreiber at November 18, 2011 02:02:30 from 217.232.18.193