src/HOL/Data_Structures/Cmp.thy
changeset 65183 37f1effd6683
parent 63437 b81a6bfa9c23
child 67406 23307fd33906
equal deleted inserted replaced
65182:973b7669e7d9 65183:37f1effd6683