# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1265202907 -3600
# Node ID a83ee7ecb1cbdeda53f792486bb7d21e5a8f87cc
# Parent  f5e037fd7c01e42fa1370d77359483b134857649# Parent  0f101870e2ff4db55290fd2c6afd3fefab728377
merged

diff -r f5e037fd7c01 -r a83ee7ecb1cb Quot/Nominal/Terms.thy