These notes is indeed used in "CS 101". The note is meant to fill a need not covered by the main materials. In this case the concept of transition systems is

These notes is indeed used in "CS 101". The note is meant to fill a need not covered by the main materials. In this case the concept of transition systems is used throughout the course for proofs. In a different note graph algorithms are presented - and the the red thread is that all proods use transitions systems. In short: you need to look at the full course to see where a lecture note fits in.