These four lectures on Getting Started With Isabelle were delivered at the EEF Foundations School on Deduction and Theorem Proving. Edinburgh, Scotland (2000), which was organised by Fairouz Kamareddine.