FSet.thy
changeset 464 a0ddf16f05f5
parent 462 0911d3aabf47
child 466 42082fc00903
equal deleted inserted replaced
463:871fce48087f 464:a0ddf16f05f5