# HG changeset patch
# User haftmann
# Date 1333126606 -7200
# Node ID 5d89a3afcebddf0b98d75bed7a78cd953e7f8c0a
# Parent  e2f0176149d0633438bd6c2fb887beaad7e25437
dropped empty files

diff -r e2f0176149d0 -r 5d89a3afcebd src/HOL/Library/Cset.thy
diff -r e2f0176149d0 -r 5d89a3afcebd src/HOL/Library/Cset_Monad.thy
diff -r e2f0176149d0 -r 5d89a3afcebd src/HOL/Library/Dlist_Cset.thy
diff -r e2f0176149d0 -r 5d89a3afcebd src/HOL/Library/List_Cset.thy
diff -r e2f0176149d0 -r 5d89a3afcebd src/HOL/Quotient_Examples/List_Quotient_Cset.thy
diff -r e2f0176149d0 -r 5d89a3afcebd src/HOL/Quotient_Examples/Quotient_Cset.thy