welcome to my cool internet home sit is prosecǖtedt to a jam
VALID X M L
Hair Cares Product!!!!!
untitled.gif welcome towards my cool internet house site: posting
re: 'member that awesome game
[24309] by "TOBOTolglist" (h-66-167-91-8.phlapafg.covad.net)   on Tue 05 Aug 2003 22:00:59     [ reply ]
   val s = (A -> B -> C) -> (A -> B) -> A -> C
    val k = A -> B -> A
    val commute-or = A \/ B -> B \/ A

    val nontheorem = A \/ B -> A /\ B
    val hellno = A -> B

    val pf = prove (empty ==> s /\ k /\ commute-or)

: post your reply here :

post as
subject


message

image
(optional)		 image (gif/jpg only)
image title (required with image)