src/HOL/Transitive_Closure.ML
changeset 16889 b50947fa958d
parent 13704 854501b1e957
equal deleted inserted replaced
16888:7cb4bcfa058e 16889:b50947fa958d