QUIT

Depict Standard Theories

ListTheories with Load Status

Registered Theories (as buttons).

DO convert_theory_to_segment "[mlstring]"

DO dump_theory "[mlstring]"

DO add_theory_delimiters "[mlstring]"

DO let theory_name  "[mlstring]" ,
DO let filename  "[mlstring]" in
DO set_theory_filename theory_name (complete_file_name filename)

Loading other theory files IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html