# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1272305982 -7200
# Node ID 6df6468f3c0550ba9222b80f7e1fba50bf92a5da
# Parent  23480003f9c52abd8aa8b31106cd20de05007960# Parent  27cdc0a3a7631e2a977be87d3fcefb00bee0de21
merged

diff -r 23480003f9c5 -r 6df6468f3c05 Nominal/FSet.thy