Logiweb dictionary of prop

Logiweb dictionary of prop

0 0 prop

1 2 * imply *

2 0 axiom one

3 0 axiom two

4 0 axiom three

5 0 mp

6 0 prop theory

7 0 auto imply

The pyk compiler, version 0.grue.20050502+ by Klaus Grue,
GRD-2005-06-02.UTC:08:43:13.701947 = MJD-53523.TAI:08:43:45.701947 = LGT-4624418625701947e-6