| Commit message (Collapse) | Author | Age |
| |
|
| |
|
|
|
|
|
| |
For now, the only option is anormal-form. This will be needed for
freeze, because the adc optimization doesn't work when not in anf.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
This reverts commit 3a494ebb0d6ba4fa7952be40203ca4b573e37904.
It already existed.
|
| |
|
|
|
|
| |
This allows better Proper lemmas
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
This one is much easier to compute with, and it means we can get rid of
a lot of pesky Named.wff proofs.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|\
| |
| |
| | |
return-notation
|
| | |
|
| | |
|
| | |
|
|/ |
|
| |
|
|
|
|
| |
Not quite sure what changed....
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Needed to remove some multiplication by 0
|
| |
|
| |
|
| |
|
|
|
|
| |
per #176)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|