nLab BHK interpretation (history)

September 26, 2024

Current (diff)
by Anonymouse on September 26, 2024 at 19:45:42.

March 6, 2023

Revision 24 (diff)
by Urs Schreiber on March 6, 2023 at 05:25:46.

February 22, 2023

Revision 23 (diff)
by Urs Schreiber on February 22, 2023 at 08:57:14.

February 19, 2023

Revision 22 (diff)
by Urs Schreiber on February 19, 2023 at 11:03:39.
Revision 21 (diff)
by Urs Schreiber on February 19, 2023 at 09:53:39.
Revision 20 (diff)
by Urs Schreiber on February 19, 2023 at 08:40:20.
Revision 19 (diff)
by Urs Schreiber on February 19, 2023 at 07:08:28.

February 18, 2023

Revision 18 (diff)
by Urs Schreiber on February 18, 2023 at 18:42:49.
Revision 17 (diff)
by Urs Schreiber on February 18, 2023 at 16:50:14.
Revision 16 (diff)
by Urs Schreiber on February 18, 2023 at 15:38:14.

June 16, 2015

Revision 15 (diff)
by Thomas Holder on June 16, 2015 at 12:02:45.

June 15, 2015

Revision 14 (diff)
by Thomas Holder on June 15, 2015 at 20:34:38.
Revision 13 (diff)
by Mike Shulman on June 15, 2015 at 14:04:43.

April 16, 2015

Revision 12 (diff)
by Thomas Holder on April 16, 2015 at 10:33:31.

March 1, 2014

Revision 11 (diff)
by Urs Schreiber on March 1, 2014 at 03:34:12.

February 28, 2014

Revision 10 (diff)
by Urs Schreiber on February 28, 2014 at 12:39:56.

January 16, 2014

Revision 9 (diff)
by Urs Schreiber on January 16, 2014 at 11:34:38.

August 17, 2013

Revision 8 (diff)
by David Roberts on August 17, 2013 at 04:34:25.

January 12, 2013

Revision 7 (diff)
by Urs Schreiber on January 12, 2013 at 02:07:47.

October 4, 2012

Revision 6 (diff)
by Urs Schreiber on October 4, 2012 at 02:12:53.

September 5, 2012

Revision 5 (diff)
by Urs Schreiber on September 5, 2012 at 22:16:20.
Revision 4 (diff)
by Todd Trimble on September 5, 2012 at 19:44:12.
Revision 3 (diff)
by Toby Bartels on September 5, 2012 at 05:52:00.
Revision 2 (diff)
by Urs Schreiber on September 5, 2012 at 01:04:39.
Revision 1
by Todd Trimble on September 5, 2012 at 00:48:49.