# HG changeset patch
# User cek@localhost.localdomain
# Date 1256366054 -7200
# Node ID 22cd68da9ae4cba3ba1553c3c508a93e7ba649f9
# Parent  ae83e5b6b141ff10c50a8b8b8771023cb21c0ac1# Parent  c1e76f09db70e1712f8bde5d52406c9be200f25f
Undid wrong merge

diff -r ae83e5b6b141 -r 22cd68da9ae4 QuotMain.thy
diff -r ae83e5b6b141 -r 22cd68da9ae4 quotient.ML