src/HOL/Transitive_Closure.thy
changeset 15584 3478bb4f93ff
parent 15551 af78481b37bf
child 15801 d2f5ca3c048d