# HG changeset patch
# User haftmann
# Date 1330072802 -3600
# Node ID fc315796794ea35649b3b32f32bfcb461014daf2
# Parent  f14eaac189e820f180c846eaaaa0e1ab01ec544a# Parent  0bd7c16a420024756048fde7037d07871101b8f2
given up disfruitful branch

diff -r f14eaac189e8 -r fc315796794e src/HOL/Code_Evaluation.thy
diff -r f14eaac189e8 -r fc315796794e src/HOL/Code_Numeral.thy
diff -r f14eaac189e8 -r fc315796794e src/HOL/IsaMakefile
diff -r f14eaac189e8 -r fc315796794e src/HOL/List.thy
diff -r f14eaac189e8 -r fc315796794e src/HOL/Predicate.thy
diff -r f14eaac189e8 -r fc315796794e src/HOL/Predicate_Compile.thy
diff -r f14eaac189e8 -r fc315796794e src/HOL/Quickcheck.thy
diff -r f14eaac189e8 -r fc315796794e src/HOL/Relation.thy
diff -r f14eaac189e8 -r fc315796794e src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML
diff -r f14eaac189e8 -r fc315796794e src/HOL/Tools/Predicate_Compile/predicate_compile_compilations.ML
diff -r f14eaac189e8 -r fc315796794e src/HOL/Transitive_Closure.thy
diff -r f14eaac189e8 -r fc315796794e src/HOL/Wellfounded.thy