Logiweb codex of prop in pyk

Up Help

ref-0-id-0	prop
ref-0-id-1	* imply *
ref-0-id-2	axiom one
ref-0-id-3	axiom two
ref-0-id-4	axiom three
ref-0-id-5	mp
ref-0-id-6	prop theory
ref-0-id-7	auto imply