David Olive (history) in nLab

December 22, 2022

• Current (diff)

  by Urs Schreiber on December 22, 2022 at 02:22:38.

December 17, 2022

• Revision 5 (diff)

  by Urs Schreiber on December 17, 2022 at 11:25:02.

December 7, 2020

• Revision 4 (diff)

  by Urs Schreiber on December 7, 2020 at 22:44:44.

December 19, 2017

• Revision 3 (diff)

  by Urs Schreiber on December 19, 2017 at 12:12:08.

February 20, 2015

• Revision 2 (diff)

  by Urs Schreiber on February 20, 2015 at 16:11:30.

July 1, 2014

• Revision 1

  by Urs Schreiber on July 1, 2014 at 04:39:05.