question 219
0 views
Skip to first unread message
Daniel Aguilera
Mar 23, 2010, 1:31:35 PM3/23/10
to utexas-cs313k-spring2010
can we use the theorem rev-rev? or would we have to create a lemma for
it to work
it to work
J Strother Moore
Mar 23, 2010, 3:37:46 PM3/23/10
to daniel.a...@gmail.com, utexas-cs313...@googlegroups.com
No, do not use rev-rev to prove Question 219. Just work the proof out from the definitions and the
theorems shown in the latter part of the question.
theorems shown in the latter part of the question.
Reply all
Reply to author
Forward
0 new messages