Logiweb dictionary of prop calc

Logiweb dictionary of prop calc

0 0 prop calc

1 0 prop theory

2 0 axiom one

3 0 axiom two

4 0 axiom three

5 2 * imply *

The pyk compiler, version 0.grue.20050502 by Klaus Grue,
GRD-2005-06-05.UTC:08:46:27.673984 = MJD-53526.TAI:08:46:59.673984 = LGT-4624678019673984e-6