Outline

The Outline view displays outline of the currently open Isabelle theory file.

It shows the hierarchy of the main parts of the document. Selecting an outline element will highlight it in the editor.

Raw tree outline

The raw structure of the document can be viewed by selecting Show Raw Tree button . Click it again to switch back to high-level structure.