| Age | Commit message (Collapse) | Author |
|---|
|
elimination sorts" is actually used
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
make it more clear
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\paragraph{...}
|
|
There already exists a definition of the following concept:
"_ is an arity of sort _"
I was not 100% sure what the following concept (used later in the text) means:
"_ is an arity"
so I added this (simple) definition in order to avoid possible confusion.
|
|
|
|
|
|
|
|
|
|
|
|
rules like this?
|
|
order to make it more concrete and more comprehensible.
This ver
|
|
|
