merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE933ad2385480: tuned spelling;
rISABELLEfce780f9c9c6: new examples of BNF lifting across quotients using a new theory of confluence, - Branches
- Unknown
- Tags
Merged Changes
Merged Changes