Summary
- correction to my previous commit
- merged
- last-minute integration unscrambling
- towards support for HO SMT-LIB
- Some small lemmas about polynomials and FPSs
- tuned names
- simpler definition
- typo
- tuned
- tuned messages
- improved Vampire proof parser
- new file
- proper theory name;
- news