User blog comment:HyperHearts58/Flipped Inspiration/@comment-844113-20100819014503

So yes, you can use Isabelle.