Logiweb codex of pogave in pyk

Up Help

ref-2-id-53	system s
ref-2-id-54	double negation
ref-2-id-55	rule mp
ref-2-id-56	rule gen
ref-2-id-57	deduction
ref-2-id-58	axiom s one
ref-2-id-59	axiom s two
ref-2-id-60	axiom s three
ref-2-id-61	axiom s four
ref-2-id-62	axiom s five
ref-2-id-63	axiom s six
ref-2-id-64	axiom s seven
ref-2-id-65	axiom s eight
ref-2-id-66	axiom s nine
ref-2-id-72	prop three two a
ref-2-id-73	prop three two b
ref-2-id-74	prop three two c
ref-2-id-75	prop three two d
ref-2-id-78	prop three two e
ref-2-id-81	prop three two f
ref-2-id-84	prop three two g
ref-2-id-87	prop three two h
ref-0-id-0	pogave
ref-0-id-1	rule div
ref-0-id-2	axiom s ten
ref-0-id-3	prop three two i
ref-0-id-4	prop three two j one
ref-0-id-5	prop three two j two
ref-0-id-6	prop three two j
ref-0-id-7	prop three two k one
ref-0-id-8	prop three two k two
ref-0-id-9	prop three two k
ref-0-id-10	prop three two l one
ref-0-id-11	prop three two l two
ref-0-id-12	prop three two l
ref-0-id-13	prop three two m one
ref-0-id-14	prop three two m two
ref-0-id-15	prop three two m
ref-0-id-16	prop three two n one
ref-0-id-17	prop three two n two
ref-0-id-18	prop three two n
ref-0-id-19	prop three two o
ref-0-id-20	prop three four a one
ref-0-id-21	prop three four a two
ref-0-id-22	prop three four a
ref-0-id-23	prop three four b
ref-0-id-24	prop three four c one
ref-0-id-25	prop three four c two
ref-0-id-26	prop three four c
ref-0-id-27	prop three four d one
ref-0-id-28	prop three four d two
ref-0-id-29	prop three four d
ref-0-id-30	{MissingArg} divides {MissingArg}