# HG changeset patch
# User chaieb
# Date 1246821023 -7200
# Node ID a509e4d7abea23186e35b0d106f1b80221a3c5a0
# Parent  63466160ff2758d0a2e9449b16da5937bb950085# Parent  f6d9798b13f1117ce0fe9d8519e397436d89fd88
merged

diff -r 63466160ff27 -r a509e4d7abea src/HOL/Library/Abstract_Rat.thy