rns on the <a href=/cycdoc/vocab/mt-expansion-vocab.html#Microtheory>#$Microtheory</a> filter tool, causing a special "ViewMt" link to appear in the Term Index.  Using the "ViewMt" link to set a microtheory filter will cause only those assertions in the specified microtheory to be listed in the Term Index.
<li><b>Interface Settings:</b> it is possible to save preferred KB Browser settings in a file for later use.  To do this, click on "Save Interface Settings" to go to the Save Interface State page.  For he