diff -r 8f84a608883d -r ea97aa6aeba2 src/HOLCF/Completion.thy