Summary
- minor performance tuning: proper Same.operation;
- minor performance tuning: proper Same.operation; clarified modules;
- tuned signature;
- minor performance tuning: proper Same.operation; clarified modules;
- minor performance tuning: proper Same.operation;
- tuned signature;
- tuned;
- pro-forma support for ZTerm.sorts_zproof;
- tuned comments;
- tuned structure;
- minor performance tuning: proper Same.operation;
- tuned names (again);