src/HOL/UNITY/Follows.thy
changeset 30549 d2d7874648bd
parent 21710 4e4b7c801142
child 32689 860e1a2317bd