Proof. Seo [13], 5.10, [6], §7 or [1], Theorem 3.1, a One can see that one recovers the ConnesThom isomorphism when G is the trivial group. This says that we can caleulate the G-oquivariant K-theory of our C*-algebra by caleulating the K-theary of €(9) ¥ GA theorem of Green [11] states that if a group H acts freely and properly on a space X, then the C*-algebras C(X) x H and C(X/H) are strongly Morita equivalent, and so have the same K-theory. For us, @ is compact and therefore its action on 2 is proper but in general it will not be free. We now arrive to the main theorem of the paper. It is essontially a recipe for computing the K-theory of the crossed products (C({2) » BR”) » G under conditions whieh seem to be common for tilings of interest, and uses results of [8]. In the proof, we restate the relevant results from [8]. and then afterwards we present an example to-show what is going on. Theorem 3.3. Let {2 be a tiling space with rotation group G. Suppose that 1. F(Q) := (GT ED/G| gT =T for same g € G \ {1} is discrete in Q/G, and 2. Ki(C(Q/G)) is torsion-free. Let No ¥ er\- 1). oreria) Then Ky((C(Q) 4 BY) x G) & K(C(Q/G)) eZ Ky ((E(Q) 4 BR?) 4G) & KV(C(Q/G)). Proof. Let p denote the right regular representation of G. that is, p > G+ B(L(G)) is determined by ggl€)(h) = E(hg) for all € € £°(G), Each pg is nceessarily unitary and g is a homomorphism. Let A= {fF 0+ K(E(G)) | MoT) = pg S(T) py for all T E09 € GY where K(L*(G)) denotes the compact operators on L?(G). One can show that C(Q) » G is isomorphic to A ([S], Corollary 2.11) T ¢ 0, the stabilizer subgroup Gr is a finite subgroup of G. For each character o€ Gr let LG)e = (E € L(G) | E(ah) = o '(hjo(s) for all g € Gh € Gr}.