Frequent Syntax

We mention here syntax that is introduced by the modules. Some modules directly introduce new syntax operators. Some modules indirectly introduce new rule or goal formats by corre-sponding expansion rules.

Comments