de.uka.ilkd.key.gui.prooftree

Classes

• DisableGoal
• ExpansionState
• GUIAbstractTreeNode
• GUIBranchNode
• GUIOneStepChildTreeNode
• GUIProofTreeModel
• GUIProofTreeNode
• ProofTreeSearchBar
• ProofTreeView
• ProofTreeView.CacheLessMetalTreeUI
• ProofTreeViewFilter
• ProofTreeViewFilter.HideClosedSubtreesFilter
• ProofTreeViewFilter.HideIntermediateFilter
• ProofTreeViewFilter.NodeFilter
• ProofTreeViewFilter.OnlyInteractiveFilter