nLab
higher inductive type (history)
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
May 12, 2012
Current
(
diff
)
by
Urs Schreiber
at May 12, 2012 13:44:23 from 89.204.130.243
May 10, 2012
Revision 9
(
diff
)
by
Urs Schreiber
at May 10, 2012 19:47:29 from 82.169.65.155
December 16, 2011
Revision 8
(
diff
)
by
Mike Shulman
at December 16, 2011 18:06:52 from 71.136.253.8
Revision 7
(
diff
)
by
Mike Shulman
at December 16, 2011 11:16:18 from 71.136.253.8
Revision 6
(
diff
)
by
Mike Shulman
at December 16, 2011 02:29:10 from 71.136.253.8
Revision 5
(
diff
)
by
Mike Shulman
at December 16, 2011 01:16:07 from 71.136.253.8
December 14, 2011
Revision 4
(
diff
)
by
Urs Schreiber
at December 14, 2011 09:50:32 from 82.169.65.155
Revision 3
(
diff
)
by
Mike Shulman
at December 14, 2011 01:29:05 from 71.136.253.8
December 9, 2011
Revision 2
(
diff
)
by
Urs Schreiber
at December 9, 2011 22:12:26 from 212.87.29.231
November 2, 2011
Revision 1
by
Urs Schreiber
at November 2, 2011 23:03:01 from 89.204.137.79