# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1272268873 -7200
# Node ID 27cdc0a3a7631e2a977be87d3fcefb00bee0de21
# Parent  a0c7290a4e2770b4c089902cadbdf75c6a836c05# Parent  7de54c9f81ac880f254c398369595a962987f7cc
merge ???

diff -r 7de54c9f81ac -r 27cdc0a3a763 Nominal/FSet.thy