Yahoo!
My Yahoo!
Mail
Sign In
New User?
Sign Up
Tech
-
Groups
-
Help
dcproof
· DC Proof Users' Group
Home
Messages
Attachments
Members Only
Post
Files
Photos
Links
Database
Polls
Members
Calendar
Promote
Groups Labs (Beta)
Already a member?
Sign in to Yahoo!
Yahoo! Groups Tips
Did you know...
Real people. Real stories.
See how Yahoo! Groups impacts members worldwide.
Best of Y! Groups
Check them out and nominate your group.
Having problems with message search?
Fill out this form
to ensure your group is one of the first to be migrated to the
new message search system.
Messages
Messages Help
Message #
Search:
Advanced
Messages
135 - 164
of 165
Newest
|
< Newer
|
Older >
|
Oldest
Messages:
Show Message Summaries
(
Group by Topic
)
Author
Yahoo! ID
Sort by Date
164
The Classical Syllogism Revisited
dcproof1
dcproof1
Sep 29, 2007
163
Recursive Definitions in DC Proof
dcproof1
dcproof1
Apr 30, 2007
162
New Release of DC Proof (Important Bug Fix)
Dan Christensen
dchris1953
Oct 24, 2006
161
[DC Proof] Re: New construction of add function (Fwd)
Dan Christensen
dchris1953
Oct 16, 2006
160
Re: [DC Proof] Re: New construction of add function (Fwd)
Thomas Heye
thomas_heye
Oct 15, 2006
159
Re: New construction of add function (Fwd)
Dan Christensen
dchris1953
Oct 11, 2006
158
New construction of add function (Fwd)
Dan Christensen
dchris1953
Oct 10, 2006
157
A supplement to the add function (Fwd)
Dan Christensen
dchris1953
Oct 10, 2006
156
Re: Strange behaviour
Dan Christensen
dchris1953
Oct 9, 2006
155
Strange behaviour
Thomas Heye
thomas_heye
Oct 8, 2006
154
Division by 2 with remainder and related proofs (Fwd from Thomas)
Dan Christensen
dchris1953
Sep 25, 2006
153
New Release of DC Proof 1.0 (Minor Change to User Reference Guide)
Dan Christensen
dchris1953
Sep 18, 2006
152
Re: Substituting
Dan Christensen
dchris1953
Sep 18, 2006
151
Substituting
Thomas Heye
thomas_heye
Sep 18, 2006
150
Re: [DC Proof] Ideas for uniqueness of even number function
Mark Hurd
markehurd
Sep 16, 2006
149
Ideas for uniqueness of even number function
Thomas Heye
thomas_heye
Sep 15, 2006
148
Re: Weird warning message about variable dependency
Dan Christensen
dchris1953
Sep 15, 2006
147
Weird warning message about variable dependency
Thomas Heye
thomas_heye
Sep 14, 2006
146
Re: Subset axiom
Dan Christensen
dchris1953
Sep 14, 2006
145
Re: Subset axiom
Dan Christensen
dchris1953
Sep 7, 2006
144
Subset axiom
Thomas Heye
thomas_heye
Sep 7, 2006
143
New Release of DC Proof 1.0 (Minor changes to User Documentation)
Dan Christensen
dchris1953
Aug 14, 2006
142
New Release of DC Proof 1.0 (Minor Enhancements)
Dan Christensen
dchris1953
May 26, 2006
141
New Release of DC Proof 1.0
Dan Christensen
dchris1953
Mar 21, 2006
140
New Release of DC Proof 1.0 (Minor Bug Fix)
Dan Christensen
dchris1953
Mar 10, 2006
139
Re: New Release of DC Proof 1.0 (Enhancements)
Dan Christensen
dchris1953
Mar 6, 2006
138
New Release of DC Proof 1.0 (Enhancements)
Dan Christensen
dchris1953
Mar 6, 2006
137
New Release of DC Proof 1.0 (Bug Fix)
Dan Christensen
dchris1953
Feb 22, 2006
136
Re: Axioms for the Real Numbers -- Correction
Dan Christensen
dchris1953
Feb 21, 2006
135
Axioms for the Real Numbers
Dan Christensen
dchris1953
Feb 20, 2006
Messages
135 - 164
of 165
Newest
|
< Newer
|
Older >
|
Oldest
Message #
Search:
Advanced
What's This?
Copyright © 2009 Yahoo! Inc. All rights reserved.
Privacy Policy
-
Terms of Service
-
Guidelines
-
Help