www.Usenet.com
Group Index
Sci Thread Archive from Usenet.com
Re: Coming soon -- new proof checking software
- __From__: |-|erc
- __Subject__: Re: Coming soon -- new proof checking software
- __Date__: Thu, 04 Dec 2003 11:50:29 -0600
> x = {brainless}
> y = {asshole}
>
> Union(x,y) = ?
>
>
> F.
why the carriage returns?
Herc
- Re: Coming soon -- new proof checking software, (continued)
- Re: Coming soon -- new proof checking software,
Dan Christensen
- Re: Coming soon -- new proof checking software,
Dan Christensen
- Re: Coming soon -- new proof checking software,
Chris Menzel
- Re: Coming soon -- new proof checking software,
Dan Christensen
- Re: Coming soon -- new proof checking software,
G . Frege
- Re: Coming soon -- new proof checking software,
Dan Christensen
- Re: Coming soon -- new proof checking software,
George Greene
- Re: Coming soon -- new proof checking software,
George Greene
- Re: Coming soon -- new proof checking software,
F . Fritsche
- Re: Coming soon -- new proof checking software,
G . Frege
- Re: Coming soon -- new proof checking software,
G . Frege
- Re: Coming soon -- new proof checking software,
Dan Christensen
- Re: Coming soon -- new proof checking software,
Dan Christensen
- Re: Coming soon -- new proof checking software,
G . Frege
- Re: Coming soon -- new proof checking software,
Dan Christensen
- Re: Coming soon -- new proof checking software,
|-|erc
