The node you are looking for is at
Choosing logic and starting isabelle
.