src/HOL/UNITY/Follows.thy
changeset 8423 3c19160b6432
parent 8128 3a5864b465e2
child 8948 b797cfa3548d
equal deleted inserted replaced
8422:6c6a5410a9bd 8423:3c19160b6432