src/CCL/Set.thy
changeset 28917 20f43e0e0958
parent 24825 c4f13ab78f9d
child 32153 a0e57fb1b930
equal deleted inserted replaced
28916:0a802cdda340 28917:20f43e0e0958