let gtoc = [|
Formula.S_Type , "Type Definitions" ;
Formula.S_Cons , "Type Constructors" ;
Formula.S_Logic_Sig , "Logic Signatures" ;
Formula.S_Logic_Def , "Logic Definitions" ;
Formula.S_Logic_Prop , "Logic Properties" ;
Formula.S_Model_Sig , "Model Signatures" ;
Formula.S_Model_Def , "Model Definitions" ;
Formula.S_Model_Prop , "Model Properties" ;
Formula.S_User_Sig , "User-defined Signatures" ;
Formula.S_User_Prop , "User-defined Properties" ;
|]