FSet.thy
changeset 184 f3c192574d2a
parent 183 6acf9e001038
child 187 f8fc085db38f
equal deleted inserted replaced
183:6acf9e001038 184:f3c192574d2a