FSet.thy
changeset 493 672b94510e7d
parent 489 2b7b349e470f
child 495 76fa93b1fe8b
equal deleted inserted replaced
492:6793659d38d6 493:672b94510e7d