Logiweb codex of logik rapport in pyk

Up Help

ref-2-id-54	system prime s
ref-2-id-55	axiom prime a one
ref-2-id-56	axiom prime a two
ref-2-id-57	axiom prime a three
ref-2-id-58	axiom prime a four
ref-2-id-59	axiom prime a five
ref-2-id-60	axiom prime s one
ref-2-id-61	axiom prime s two
ref-2-id-62	axiom prime s three
ref-2-id-63	axiom prime s four
ref-2-id-64	axiom prime s five
ref-2-id-65	axiom prime s six
ref-2-id-66	axiom prime s seven
ref-2-id-67	axiom prime s eight
ref-2-id-68	axiom prime s nine
ref-2-id-69	rule prime mp
ref-2-id-70	rule prime gen
ref-0-id-0	logik rapport
ref-0-id-3	lemma prime a two star
ref-0-id-4	lemma prime a one star
ref-0-id-5	lemma double hyp
ref-0-id-6	corollary one point ten a
ref-0-id-7	corollary one point ten b
ref-0-id-8	lemma one point eight
ref-0-id-9	lemma prime l three two b
ref-0-id-10	lemma prime l three two c
ref-0-id-11	lemma prime l three two d
ref-0-id-12	lemma prime l three two f
ref-0-id-13	lemma prime l three two f base
ref-0-id-14	lemma prime l three two f hyp
ref-0-id-15	lemma prime l three two g
ref-0-id-16	lemma prime l three two g
ref-0-id-17	lemma prime l three two g hyp
ref-0-id-18	lemma prime l three two h
ref-0-id-19	lemma prime l three two h base
ref-0-id-20	lemma prime l three two h hyp
ref-0-id-21	lemma prime l three two h hyp
ref-0-id-22	tautology one