# HG changeset patch
# User chaieb
# Date 1247122542 -7200
# Node ID 81dbc693143b2695ca4150dee5a82333fb00946d
# Parent  baa8dce5bc45b5b3e2820463abc3d3cd5cab5174# Parent  a509e4d7abea23186e35b0d106f1b80221a3c5a0
merged

diff -r baa8dce5bc45 -r 81dbc693143b src/HOL/Library/Abstract_Rat.thy