Text Item

Syntax

Text-Item   =  
 Reservation   |  
Definitional-Item   |  
Structure-Definition   |  
Theorem   |  
Scheme   |  
Auxiliary-Item   |  
Canceled-Theorem   .


See also

Home | Index of Syntax Items

Last modified: June 26, 2000