abstracts
prop-logic-4 add proofs
abstracts and pics
pull from netbook 11-6
prop-logic-4 final