diff options
-rw-r--r-- | CHANGES | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -14,6 +14,8 @@ Commands section surviving. - Added option "Unset Elimination Schemes" to deactivated the automatic generation of elimination schemes. +- Modification of the Scheme command so you can ask for the name to be + automatically computed (e.g. Scheme Induction for nat Sort Set). Libraries |