Logiweb dictionary of opgave

Up Help

0 0 opgave

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 rule div

58 0 Ded 59 0 S1 60 0 S2 61 0 S3 62 0 S4 63 0 S5 64 0 S6 65 0 S7 66 0 S8 67 0 S9 68 0 S10 69 0 Repetition 70 0 A1′ 71 0 A2′ 72 0 A4′ 73 0 A5′ 74 0 Prop 3.2a 75 0 Prop 3.2b 76 0 Prop 3.2c 77 0 Prop 3.2d 78 0 Prop 3.2e_{1} 79 0 Prop 3.2e_{2} 80 0 Prop 3.2e 81 0 Prop 3.2f_{1} 82 0 Prop 3.2f_{2} 83 0 Prop 3.2f 84 0 Prop 3.2g_{1} 85 0 Prop 3.2g_{2} 86 0 Prop 3.2g 87 0 Prop 3.2h_{1} 88 0 Prop 3.2h_{2} 89 0 Prop 3.2h 90 0 Prop 3.2i 91 0 Prop 3.2j_{1} 92 0 Prop 3.2j_{2} 93 0 Prop 3.2j 94 0 Prop 3.2k_{1} 95 0 Prop 3.2k_{2} 96 0 Prop 3.2k 97 0 Prop 3.2l_{1} 98 0 Prop 3.2l_{2} 99 0 Prop 3.2l 100 0 Prop 3.2m_{1} 101 0 Prop 3.2m_{2} 102 0 Prop 3.2m 103 0 Prop 3.2n_{1} 104 0 Prop 3.2n_{2} 105 0 Prop 3.2n 106 0 Prop 3.2o 107 0 Prop 3.4a_{1} 108 0 Prop 3.4a_{2} 109 0 Prop 3.4a 110 0 Prop 3.4b 111 0 Prop 3.4c_{1} 112 0 Prop 3.4c_{2} 113 0 Prop 3.4c 114 0 Prop 3.4d_{1} 115 0 Prop 3.4d_{2} 116 0 Prop 3.4d 117 3 Block_{1}(∗, ∗, ∗) 118 1 Block_{2}(∗) 119 1 ∗^{hide} 120 1 MacroIndent(∗) 121 1 ∗′ 122 2 ∗ = ∗ 123 2 ∗ ≠ ∗ 124 1 ∗^{var} 125 2 ∗#^{0}∗ 126 2 ∗#^{1}∗ 127 2 ∗#^{∗}∗ 128 2 ∃∗: ∗ 129 2 ∀∗: ∗ 130 2 ∀_{obj}∗: ∗ 131 2 ∗ ⇒ ∗ 132 2 ∗ ⇔ ∗ 133 2 ∗#∗ 134 2 ∗ ⊵ ∗ 135 2 Π∗: ∗ 136 3 Begin ∗; ∗ : End; ∗ 137 2 Last block line ∗ ≫ ∗; 138 2 Arbitrary ≫ ∗; ∗ 139 2 ∗ | ∗ 140 0 → 141 2 ∗\\∗ 142 2 ∗∥∗

The pyk compiler, version 0.grue.20060417+ by Klaus Grue GRD-2006-06-21.UTC:07:46:29.118507 = MJD-53907.TAI:07:47:02.118507 = LGT-4657592822118507e-6