B.1.6 option: Set System OptionB.1 Declaration CommandsB.1.4 type, value, formula: Print <p>Constant DeclarationB.1.5 environment: Print Environment

B.1.5 environment: Print Environment

Synopsis

environment

Applicable

In declaration mode and in proving mode.

Description

This command prints the names and kinds of all constants (types, values, formulas) declared in the current environment.

Wolfgang Schreiner

B.1.6 option: Set System OptionB.1 Declaration CommandsB.1.4 type, value, formula: Print Constant DeclarationB.1.5 environment: Print Environment