Isabelle/Eclipse

Eclipse integration for Isabelle proof assistant

Outline

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

Isabelle theory outline

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 Show Raw Tree. Click it again to switch back to high-level structure.

Isabelle raw theory outline