Logiweb codex of test in pyk

Up Help

ref-2-id-102	{MissingArg} imply {MissingArg}
ref-0-id-0	test
ref-0-id-1	pred calc
ref-0-id-2	pc1
ref-0-id-3	pc2
ref-0-id-4	pc3
ref-0-id-5	pc4
ref-0-id-6	pc5
ref-0-id-7	pc6
ref-0-id-8	pc7
ref-0-id-9	pc8
ref-0-id-10	pc9
ref-0-id-11	pc10
ref-0-id-12	pc11
ref-0-id-13	pc12
ref-0-id-14	pcmp
ref-0-id-15	pcunsound
ref-0-id-16	pcia
ref-0-id-17	pcie
ref-0-id-18	pcdeduction
ref-0-id-19	trivia
ref-0-id-20	repeat
ref-0-id-21	andintro
ref-0-id-22	andelim1
ref-0-id-23	andelim2
ref-0-id-24	orintro1
ref-0-id-25	orintro2
ref-0-id-26	orelim
ref-0-id-27	notintro
ref-0-id-28	implyintro
ref-0-id-29	notnotintro
ref-0-id-30	notnotelim
ref-0-id-31	mt
ref-0-id-32	pbc
ref-0-id-33	lem
ref-0-id-34	forallintro
ref-0-id-35	forallelim
ref-0-id-36	existsintro
ref-0-id-37	existselim
ref-0-id-38	bottomelim
ref-0-id-39	lemnotintro
ref-0-id-40	hlplem1
ref-0-id-41	hlplem2
ref-0-id-42	hlplem3
ref-0-id-43	hlplem4
ref-0-id-44	hlplem5
ref-0-id-45	goal1
ref-0-id-46	hlplem6
ref-0-id-47	goal2
ref-0-id-48	{MissingArg} setequiv {MissingArg}
ref-0-id-49	{MissingArg} setequals {MissingArg}
ref-0-id-50	lnot {MissingArg}
ref-0-id-51	{MissingArg} land {MissingArg}
ref-0-id-52	{MissingArg} lor {MissingArg}
ref-0-id-53	forall {MissingArg} dot {MissingArg} end forall
ref-0-id-54	exists {MissingArg} dot {MissingArg} end exists
ref-0-id-55	{MissingArg} setin {MissingArg}