ref-2-id-102 | {MissingArg} imply {MissingArg} |
ref-0-id-0 | problemone |
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 | pcded |
ref-0-id-16 | pcia |
ref-0-id-17 | pcie |
ref-0-id-18 | pcdeduction |
ref-0-id-19 | trivia |
ref-0-id-20 | iatest |
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 | notnotintro |
ref-0-id-29 | notnotelim |
ref-0-id-30 | mt |
ref-0-id-31 | pbc |
ref-0-id-32 | repeat |
ref-0-id-33 | lem |
ref-0-id-34 | {MissingArg} setequiv {MissingArg} |
ref-0-id-35 | {MissingArg} setequals {MissingArg} |
ref-0-id-36 | lnot {MissingArg} |
ref-0-id-37 | {MissingArg} land {MissingArg} |
ref-0-id-38 | {MissingArg} lor {MissingArg} |
ref-0-id-39 | forall {MissingArg} dot {MissingArg} end forall |
ref-0-id-40 | exists {MissingArg} dot {MissingArg} end exists |
ref-0-id-41 | {MissingArg} setin {MissingArg} |
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,