src/HOL/Transitive_Closure.thy
changeset 67051 e7e54a0b9197
parent 63612 7195acc2fe93
child 67399 eab6ce8368fa
equal deleted inserted replaced
67050:1e29e2666a15 67051:e7e54a0b9197