Use structural-induction package
Fix prod test suite
Fix a bug in Makefile.common
Use new structural-induction package
Use promises
Change from Prop to Property and Property to Obligation
Print the used prover and induction variables and also failure messages from them
Use stm-promises and print variables and lemmas used (for vampire/eproof)
Add writing used lemmas from SPASS
Make travis update cabal first
Update TODO
Update travis
Update travis so it downloads stm-2.3
Make travis install latest mtl
Support latest z3 by linearising to SMT
Specify the timeout as a Double, allowing to express sub-second timeouts
Compile programs with -rtsopts