Whatever Floats Your Boat Gui Pastebin
Wed May 29 00 20 16 2013 Thm Prover I Have A Hypothesis Exists A B F A Wed May 29 00 20 28 2013 Thm Prover How Do I Get Hypothesis Of The Forms A0 N B F A0 Wed May 29 00 20 38 2013 Thm Prover There Should Be A Simple Tactic For