Minor changes to Isabelle examples.