Logiweb dictionary of test

Up Help

0 0 test

1 2 ∗ ⇒ ∗

2 0 pred calc
3 0 pc1
4 0 pc2
5 0 pc3
6 0 pc4
7 0 pc5
8 0 pc6
9 0 pc7
10 0 pc8
11 0 pc9
12 0 pc10
13 0 pc11
14 0 pc12
15 0 pcmp
16 0 pcia
17 0 pcie

18 2 Π ∗ .∗ 19 2 Σ ∗ .∗ 20 1 ¬∗ 21 2 ∗ ∧ ∗ 22 2 ∗ ∨ ∗ 23 2 ∗ ⇔ ∗

24 0 trivia
25 0 iatest
26 0 zfc

The pyk compiler, version 0.grue.20060417+ by Klaus Grue GRD-2006-06-20.UTC:12:52:21.411062 = MJD-53906.TAI:12:52:54.411062 = LGT-4657524774411062e-6

2