February 2005 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Tue Feb 1 15:06:34 CEST 2005
Ending: Mon Feb 28 01:05:35 CEST 2005
Messages: 12

• [Agda] John Major equality   Marcin Benke
• [Agda] Needs doing   Catarina Coquand
  • [Agda] Needs doing   Ana Bove
    • [Agda] Needs doing   NISHIHARA Hideaki
      • [Agda] Needs doing   Peter G. Hancock
      • [Agda] Needs doing   Peter G. Hancock
      • [Agda] Needs doing   anton setzer
• [Agda] Mendori   jeff polakow
  • [Agda] Mendori   Peter G. Hancock
    • [Agda] Mendori   jeff polakow
• [Agda] Announcement: TYPES Summer School, August 15-26, Goteborg   Bengt Nordström
• [Agda] Re: Alfa and the summer school   Thomas Hallgren

Last message date: Mon Feb 28 01:05:35 CEST 2005
Archived on: Mon Feb 28 01:05:39 CEST 2005

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...