November 2004 Archives by thread

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

Starting: Wed Nov 3 14:32:32 MET 2004
Ending: Tue Nov 9 16:37:08 MET 2004
Messages: 6

• [Agda] Termination checker change?   Thomas Hallgren
  • [Agda] Termination checker change?   Andreas Abel
    • [Agda] Termination checker change?   Patrik Jansson
  • [Agda] Termination checker change?   Catarina Coquand
• [Agda] [Fwd: SourceForge.net Project Registration: agda]   Patrik Jansson
  • [Agda] [Fwd: SourceForge.net Project Registration: agda]   Patrik Jansson

Last message date: Tue Nov 9 16:37:08 MET 2004
Archived on: Tue Nov 9 16:37:11 MET 2004

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