Isabelle's workspace/

Lecture 3 Homework - Duplicate