Decompiled source of Isabelle v1.0.0