Logiweb dictionary of check

Up Help

0 0 check

1 3 parm(∗, ∗, ∗) 2 3 parm^{∗}(∗, ∗, ∗) 3 2 inst(∗, ∗) 4 2 inst^{∗}(∗, ∗) 5 2 occur(∗, ∗) 6 2 occur^{∗}(∗, ∗) 7 3 circular(∗ = ∗, ∗) 8 3 circular^{∗}(∗ = ∗, ∗) 9 3 unify(∗ = ∗, ∗) 10 3 unify^{∗}(∗ = ∗, ∗) 11 3 unify_{2}(∗ = ∗, ∗) 12 0 L_{a} 13 0 L_{b} 14 0 L_{c} 15 0 L_{d} 16 0 L_{e} 17 0 L_{f} 18 0 L_{g} 19 0 L_{h} 20 0 L_{i} 21 0 L_{j} 22 0 L_{k} 23 0 L_{l} 24 0 L_{m} 25 0 L_{n} 26 0 L_{o} 27 0 L_{p} 28 0 L_{q} 29 0 L_{r} 30 0 L_{s} 31 0 L_{t} 32 0 L_{u} 33 0 L_{v} 34 0 L_{w} 35 0 L_{x} 36 0 L_{y} 37 0 L_{z} 38 0 L_{A} 39 0 L_{B} 40 0 L_{C} 41 0 L_{D} 42 0 L_{E} 43 0 L_{F} 44 0 L_{G} 45 0 L_{H} 46 0 L_{I} 47 0 L_{J} 48 0 L_{K} 49 0 L_{L} 50 0 L_{M} 51 0 L_{N} 52 0 L_{O} 53 0 L_{P} 54 0 L_{Q} 55 0 L_{R} 56 0 L_{S} 57 0 L_{T} 58 0 L_{U} 59 0 L_{V} 60 0 L_{W} 61 0 L_{X} 62 0 L_{Y} 63 0 L_{Z} 64 0 L_{?} 65 0 Reflexivity 66 0 Reflexivity_{1} 67 0 Commutativity 68 0 <tactic> 69 0 tactic

70 2 [∗ =^{tactic} ∗]

71 3 P(∗, ∗, ∗) 72 3 P^{∗}(∗, ∗, ∗) 73 0 p_{0} 74 2 conclude_{1}(∗, ∗) 75 3 conclude_{2}(∗, ∗, ∗) 76 4 conclude_{3}(∗, ∗, ∗, ∗) 77 2 ∗ ⊳ ∗ 78 2 ∗ ⊳ ⊳ ∗ 79 2 ∗ ≫ ∗ 80 3 ∗ proof of ∗ : ∗ 81 4 Line ∗ : ∗ ≫ ∗; ∗ 82 2 Last line ∗ ≫ ∗ 83 3 Line ∗ : Premise ≫ ∗; ∗ 84 3 Line ∗ : Side-condition ≫ ∗; ∗ 85 2 Arbitrary ≫ ∗; ∗ 86 3 Local ≫ ∗ = ∗; ∗

The pyk compiler, version 0.grue.20050502+ by Klaus Grue GRD-2005-05-26.UTC:06:49:32.964854 = MJD-53516.TAI:06:50:04.964854 = LGT-4623807004964854e-6