Show commands

show modules .

Lists the names of all the modules that are currently in the module database maintained by the system.

show module $\lbrace$module$\rbrace$ .

Prints out a representation of the given module (or of the current module if none is given).

show all $\lbrace$module$\rbrace$ .

Prints out a flattened representation of the given module (or of the current module if none is given).

show sorts $\lbrace$module$\rbrace$ .

Prints out a representation of the sort and subsort information for the given module (or for the current module if none is given).

show ops $\lbrace$module$\rbrace$ .

Lists the operators in the given module (or in the current module if none is given).

show vars $\lbrace$module$\rbrace$ .

Lists the variables in the given module (or in the current module if none is given).

show mbs $\lbrace$module$\rbrace$ .

Lists the membership axioms in the given module (or in the current module if none is given).

show eqs $\lbrace$module$\rbrace$ .

Lists the equations in the given module (or in the current module if none is given).

show rls $\lbrace$module$\rbrace$ .

Lists the rules in the given module (or in the current module if none is given).

show components $\lbrace$module$\rbrace$ .

Lists the connected components (kinds) of the poset of sorts for the given module (or for the current module if none is given).

show summary $\lbrace$module$\rbrace$ .

Shows a summary of statistics for the context free grammar and term rewriting system generated for the given module (or for the current module if none is given).

show views .

Lists the names of all the views that are currently in the view database maintained by the system.

show view $\lbrace$view$\rbrace$ .

Prints out the given view (or of the last view entered into the system if none is given).