finished first cut at isabelle problems