112b2c3f_fmrisc_ProgramExplorer_InOut_Class_Summary_Description
[Class] Presenter [Description] 
Interface to visual presentation of declarations and proof states.
fmrisc.ProgramExplorer.InOut
Description