Isabelle/Eclipse

Eclipse integration for Isabelle proof assistant

Symbols view

The Symbols view lists all symbols available to use in Isabelle theory. Double-click the symbol to insert it into the open editor.

Isabelle symbols

The symbols are grouped and can be searched by using the filter field.