June 2005 Archives by author

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

Starting: Wed Jun 1 12:12:05 CET 2005
Ending: Thu Jun 30 19:33:00 CET 2005
Messages: 69

• [Logiweb] intro construct   Martin Røpcke
• [Logiweb] disc quota (semi urgent)   Martin Røpcke
• [Logiweb] references   Martin Røpcke
• [Logiweb] mathsf   Martin Røpcke
• [Logiweb] kana command   Martin Røpcke
• [Logiweb] kana command   Martin Røpcke
• [Logiweb] references   Martin Røpcke
• [Logiweb] references   Martin Røpcke
• [Logiweb] * proof of * reads *   Martin Røpcke
• [Logiweb] proof of 2   Martin Røpcke
• [Logiweb] * proof of * reads *   Martin Røpcke
• [Logiweb] How to instantiate A4'   Martin Røpcke
• [Logiweb] server-problemer   Martin Røpcke
• [Logiweb] reference to check page   Martin Røpcke
• [Logiweb] ''peano empty'' not caught   Martin Røpcke
• [Logiweb] ''peano empty'' not caught   Martin Røpcke
• [Logiweb] Diagnose: Reference to unproved lemma   Martin Røpcke
• [Logiweb] lemma proof mismatch   Martin Røpcke
• [Logiweb] rule   Martin Røpcke
• [Logiweb] Re: Quantifier elimination leads to variable clash   Anders B0ggild-Povlsen
• [Logiweb] Editing .pyk files with Windows editors   Frederik Eriksen
• [Logiweb] Naming variables in proofs   Frederik Eriksen
• [Logiweb] Apostrophes   Frederik Eriksen
• [Logiweb] Re: Quantifier elimination leads to variable clash   Frederik Eriksen
• [Logiweb] TeX commands and A4'   Frederik Eriksen
• [Logiweb] Repeated definitions   Frederik Eriksen
• [Logiweb] Using the "pstricks" package   Frederik Eriksen
• [Logiweb] Kana reference to peano-axioms apears to be broken   Kasper H0st Frederiksen
• [Logiweb] Quantifier elimination leads to variable clash   Kasper H0st Frederiksen
• [Logiweb] Re: Quantifier elimination leads to variable clash   Kasper H0st Frederiksen
• [Logiweb] Error with the new base page   Kasper H0st Frederiksen
• [Logiweb] Error with the new base page   Kasper H0st Frederiksen
• [Logiweb] Diagnose error   Kasper H0st Frederiksen
• [Logiweb] axiom A6   Kasper H0st Frederiksen
• [Logiweb] How to instantiate A4'   Kasper H0st Frederiksen
• [Logiweb] Diagnose: Reference to unproved lemma   Kasper H0st Frederiksen
• [Logiweb] Diagnose: Reference to unproved lemma - Solved   Kasper H0st Frederiksen
• [Logiweb] Displaying lemma definitions   Kasper H0st Frederiksen
• [Logiweb] pyk warning: * imply * mistakenly unfit?   Klaus Ebbe Grue
• [Logiweb] Editing .pyk files with Windows editors   Klaus Ebbe Grue
• [Logiweb] New pyk/base/peano   Klaus Ebbe Grue
• [Logiweb] Canned compiler   Klaus Ebbe Grue
• [Logiweb] Naming variables in proofs   Klaus Ebbe Grue
• [Logiweb] Metavariables in side conditions ?   Klaus Ebbe Grue
• [Logiweb] Disk quota increased to 200Mb   Klaus Ebbe Grue
• [Logiweb] Naming variables in proofs   Klaus Ebbe Grue
• [Logiweb] Kana reference to peano-axioms apears to be broken   Klaus Ebbe Grue
• [Logiweb] Re: Quantifier elimination leads to variable clash   Klaus Ebbe Grue
• [Logiweb] Apostrophes   Klaus Ebbe Grue
• [Logiweb] TeX commands and A4'   Klaus Ebbe Grue
• [Logiweb] Repeated definitions   Klaus Ebbe Grue
• [Logiweb] Induction example   Klaus Ebbe Grue
• [Logiweb] PS: New peano page   Klaus Ebbe Grue
• [Logiweb] Error with the new base page   Klaus Ebbe Grue
• [Logiweb] references   Klaus Ebbe Grue
• [Logiweb] Server log files   Klaus Ebbe Grue
• [Logiweb] kana command   Klaus Ebbe Grue
• [Logiweb] Software Patents: 8-10 work days till Second Reading in Parliament (fwd)   Klaus Ebbe Grue
• [Logiweb] Diagnose error   Klaus Ebbe Grue
• [Logiweb] references   Klaus Ebbe Grue
• [Logiweb] references   Klaus Ebbe Grue
• [Logiweb] * proof of * reads *   Klaus Ebbe Grue
• [Logiweb] axiom A6   Klaus Ebbe Grue
• [Logiweb] How to instantiate A4'   Klaus Ebbe Grue
• [Logiweb] ''peano empty'' not caught   Klaus Ebbe Grue
• [Logiweb] Re: Quantifier elimination leads to variable clash   Ole Hyldahl Hansen
• [Logiweb] Re: Quantifier elimination leads to variable clash   Ole Hyldahl Hansen
• [Logiweb] * proof of * reads *   Ole Hyldahl Hansen
• [Logiweb] Metavariables in side conditions ?   Allan Hvam Petersen

Last message date: Thu Jun 30 19:33:00 CET 2005
Archived on: Thu Jun 30 18:33:02 CET 2005

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