Isabelle/Eclipse

Eclipse integration for Isabelle proof assistant