Report - Isabelle/jEditIsabelle’s user interface is no advance over LCF’s, which is widely condemned as “user-unfriendly”: hard to use, bewildering to begin-ners. Hence the interest

Please pass captcha verification before submit form