During the development of Traditional Taekwondo there was an effort by some of the Nine Kwans to ensure that traditional Korean influences were incorporated into the then-nascent martial art of taekwondo. Elements of taekkyon and Gwon Beop (to the extent that they were known) were intentionally incorporated into taekwondo, in part to distinguish it from Shotokan Karate. In fact, the name "taekwondo" was chosen in part as an allusion to taekkyon. See Wikipedia (below) for additional detail.