September 2004 Archives by thread

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

Starting: Wed Sep 1 16:11:30 EDT 2004
Ending: Thu Sep 23 20:20:23 EDT 2004
Messages: 35

• [ProofPower] Problems with XPP!   Thiago Carvalho de Sousa
  • [ProofPower] Problems with XPP!   Rob Arthan
• [ProofPower] z_output_theory questions   Stephen Brackin
  • [ProofPower] z_output_theory questions   Roger Bishop Jones
    • [ProofPower] z_output_theory questions   Rob Arthan
  • [ProofPower] z_output_theory questions   Roger Bishop Jones
  • [ProofPower] Re: z_output_theory questions   Stephen Brackin
• [ProofPower] ".doc" version of Z Reference Manual   Stephen Brackin
  • [ProofPower] ".doc" version of Z Reference Manual   Roger Bishop Jones
  • [ProofPower] Re: ".doc" version of Z Reference Manual   Stephen Brackin
    • [ProofPower] Re: ".doc" version of Z Reference Manual   Roger Bishop Jones
• [ProofPower] Some questions about ProofPower/Z   Thiago Carvalho de Sousa
  • [ProofPower] Some questions about ProofPower/Z   Roger Bishop Jones
• [ProofPower] Two questions   Stephen Brackin
  • [ProofPower] Two questions   Philip Clayton
• [ProofPower] DEPTH_CONV   Stephen Brackin
  • [ProofPower] DEPTH_CONV   Roger Bishop Jones
• [ProofPower] How to use previously proved theorems   Marcel Oliveira
  • [ProofPower] How to use previously proved theorems   Roger Bishop Jones
    • [ProofPower] How to use previously proved theorems   Marcel Oliveira
• [ProofPower] Type-check bug?   Stephen Brackin
  • [ProofPower] Type-check bug?   Roger Bishop Jones
    • [ProofPower] Type-check bug?   Roger Bishop Jones
  • [ProofPower] Type-check bug?   Roger Bishop Jones
  • [ProofPower] Re: Type-check bug?   Stephen Brackin
    • [ProofPower] Re: Type-check bug?   Roger Bishop Jones
• [ProofPower] A little help   Marcel Oliveira
  • [ProofPower] A little help   Philip Clayton
• [ProofPower] Re: Type-check bug? -- final character   Stephen Brackin
• [ProofPower] type variables in subgoal package   Philip Clayton
  • [ProofPower] type variables in subgoal package   Roger Bishop Jones
    • [ProofPower] type variables in subgoal package   Philip Clayton
      • [ProofPower] type variables in subgoal package   Roger Bishop Jones
    • [ProofPower] type variables in subgoal package   Roger Bishop Jones
• [ProofPower] Flexible conversion functions   Stephen Brackin

Last message date: Thu Sep 23 20:20:23 EDT 2004
Archived on: Sun Mar 2 20:43:24 EST 2025

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