May 2004 Archives by author

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

Starting: Tue May 4 13:24:13 EDT 2004
Ending: Mon May 24 12:40:09 EDT 2004
Messages: 19

• [ProofPower] Equivalence Relations and Group Theory [Apologies to HOL-info readers who will see this twice.]   Rob Arthan
• [ProofPower] Problems using var_subst   Rob Arthan
• [ProofPower] Confused about Z and HOL terms   Rob Arthan
• [ProofPower] Confused about Z and HOL terms   Rob Arthan
• [ProofPower] Proving Properties of SML functions   Rob Arthan
• [ProofPower] HELP TO AN INCONSISTENCY PROOF!!   Rob Arthan
• [ProofPower] LaTeX error in usr029.tex causes installation failure   Rob Arthan
• [ProofPower] LaTeX error in usr029.tex causes installation failure   Stephen Brackin
• [ProofPower] LaTeX error in usr029.tex causes installation failure   Stephen Brackin
• [ProofPower] Confused about Z and HOL terms   Philip Clayton
• [ProofPower] HELP TO AN INCONSISTENCY PROOF!!   Philip Clayton
• [ProofPower] Confused about Z and HOL terms   Roger Bishop Jones
• [ProofPower] Proving Properties of SML functions   Roger Bishop Jones
• [ProofPower] Proving Properties of SML functions   Roger Bishop Jones
• [ProofPower] Problems using var_subst   Marcel Oliveira
• [ProofPower] Confused about Z and HOL terms   Marcel Oliveira
• [ProofPower] Proving Properties of SML functions   Marcel Oliveira
• [ProofPower] HELP TO AN INCONSISTENCY PROOF!!   Thiago Carvalho de Sousa
• [ProofPower] HELP TO AN INCONSISTENCY PROOF!!   Thiago Carvalho de Sousa

Last message date: Mon May 24 12:40:09 EDT 2004
Archived on: Sun Mar 2 20:43:24 EST 2025

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