Add documentation for --disable-fmf-inst-gen, which removes a warning
Fix erroneous results when the logic was incorrectly specified (by throwing LogicException).  Also correct a case where sharing was doing some work during pure theory solving.
fixes to the proof system so it works with theory lemmas and explanations
Update casc run script.  Work on compliance for SZS output.
now proofs print mapping between atom and propositional variable as a comment in LFSC
disable Logic-checking with finite model finding for now, since FMF uses Rationals, making the check think arithmetic should be enabled (but it's not)
Preliminary version of finite model finding over bounded integer quantification. Minor update to casc script.
spelling