[zermelo44]

Great paper for exploring the foundations of Isabelle. It's a shame the rest of the literature needed to properly understand Isabelle is scattered amongst many papers.

[timmg]

Any suggestions for those papers?