# HG changeset patch
# User chaieb
# Date 1246713587 -7200
# Node ID f6d9798b13f1117ce0fe9d8519e397436d89fd88
# Parent  5fe21cac6bf7099e890d74e36cefc509c45261a9# Parent  36156921f5e5e7a6515f1d649be20cb44ac095c4
merged

diff -r 5fe21cac6bf7 -r f6d9798b13f1 src/HOL/Library/Abstract_Rat.thy