untitled.gif welcome towards my cool internet house site:
re: 'member that awesome game (zoom)
[ back |
refresh |
last 25 |
post new
]
welcome to my cool internet home sit
is prosecǖtedt to a jam
Hair Cares Product!!!!!
| 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 ] [ up ]
|
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) |
|
|
|
