The Muppets the Muppets film and television library. Exceptions included the "Sesame Street" characters, which were previously sold to Sesame Workshop; the "Fraggle Rock" characters, which were retained by Henson; and the distribution rights to "The Muppets Take Manhattan", "Muppets from Space", and "Kermit's Swamp Years," which were retained by Sony Pictures Entertainment. Following the acquisition, Disney formed The Muppets Holding Company (later known as The Muppets Studio), a wholly owned subsidiary responsible for managing the characters and franchise. As a result, the term "Muppet" became a legal trademark of Disney; under license from Disney, Sesame Workshop continues to use the term
The Muppets other series such as "30 Rock". Following Disney's acquisition of the Muppets, puppets created by The Jim Henson Company are no longer referred to as Muppets. Puppets created by Jim Henson's Creature Shop, such as those in "Labyrinth" and "The Dark Crystal", have never been considered Muppets, as they are generally more complex in design and performance than regular Muppets. The "Star Wars" character Yoda was originally performed by Frank Oz, one of Henson's regular performers, and is often described as a Muppet in media and reference works; he is not, however, and Henson was not involved in the character's