Logiweb dictionary of check

Up Help

0 0 check

1 2 [∗ =^{∘} ∗]

2 1 RootVisible(∗) 3 0 A 4 0 R 5 0 C 6 0 T 7 0 L 8 1 {∗}

9 1 \overline{∗}

10 0 a 11 0 b 12 0 c 13 0 d 14 0 e 15 0 f 16 0 g 17 0 h 18 0 i 19 0 j 20 0 k 21 0 l 22 0 m 23 0 n 24 0 o 25 0 p 26 0 q 27 0 r 28 0 s 29 0 t 30 0 u 31 0 v 32 0 w 33 0 x 34 0 y 35 0 z 36 4 ⟨∗≡ ∗ | ∗:=∗⟩ 37 4 ⟨∗≡^{0} ∗ | ∗:=∗⟩ 38 4 ⟨∗≡^{1} ∗ | ∗:=∗⟩ 39 4 ⟨∗≡^{∗} ∗ | ∗:=∗⟩ 40 2 Ded(∗, ∗) 41 2 Ded_{0}(∗, ∗) 42 3 Ded_{1}(∗, ∗, ∗) 43 3 Ded_{2}(∗, ∗, ∗) 44 4 Ded_{3}(∗, ∗, ∗, ∗) 45 4 Ded_{4}(∗, ∗, ∗, ∗) 46 4 Ded_{4}^{∗}(∗, ∗, ∗, ∗) 47 3 Ded_{5}(∗, ∗, ∗) 48 4 Ded_{6}(∗, ∗, ∗, ∗) 49 4 Ded_{6}^{∗}(∗, ∗, ∗, ∗) 50 1 Ded_{7}(∗) 51 2 Ded_{8}(∗, ∗) 52 2 Ded_{8}^{∗}(∗, ∗) 53 0 S 54 0 Neg 55 0 MP 56 0 Gen 57 0 Ded 58 0 S1 59 0 S2 60 0 S3 61 0 S4 62 0 S5 63 0 S6 64 0 S7 65 0 S8 66 0 S9 67 0 Repetition 68 0 A1′ 69 0 A2′ 70 0 A4′ 71 0 A5′ 72 0 Prop 3.2a 73 0 Prop 3.2b 74 0 Prop 3.2c 75 0 Prop 3.2d 76 0 Prop 3.2e_{1} 77 0 Prop 3.2e_{2} 78 0 Prop 3.2e 79 0 Prop 3.2f_{1} 80 0 Prop 3.2f_{2} 81 0 Prop 3.2f 82 0 Prop 3.2g_{1} 83 0 Prop 3.2g_{2} 84 0 Prop 3.2g 85 0 Prop 3.2h_{1} 86 0 Prop 3.2h_{2} 87 0 Prop 3.2h 88 3 Block_{1}(∗, ∗, ∗) 89 1 Block_{2}(∗) 90 1 ∗^{hide} 91 1 MacroIndent(∗) 92 1 ∗′ 93 2 ∗ = ∗ 94 2 ∗ ≠ ∗ 95 1 ∗^{var} 96 2 ∗#^{0}∗ 97 2 ∗#^{1}∗ 98 2 ∗#^{∗}∗ 99 2 ∃∗: ∗ 100 2 ∀∗: ∗ 101 2 ∀_{obj}∗: ∗ 102 2 ∗ ⇒ ∗ 103 2 ∗ ⇔ ∗ 104 2 ∗#∗ 105 2 ∗ ⊵ ∗ 106 2 Π∗: ∗ 107 3 Begin ∗; ∗ : End; ∗ 108 2 Last block line ∗ ≫ ∗; 109 2 Arbitrary ≫ ∗; ∗ 110 2 ∗ | ∗ 111 0 → 112 2 ∗\\∗

The pyk compiler, version 0.grue.20060417+ by Klaus Grue GRD-2006-06-06.UTC:07:49:23.045248 = MJD-53892.TAI:07:49:56.045248 = LGT-4656296996045248e-6