src/HOL/Library/Infinite_Set.thy
changeset 72278 199dc903131b
parent 72097 496cfe488d72
child 72302 d7d90ed4c74e
equal deleted inserted replaced
72277:48254fa33d88 72278:199dc903131b