| Sat, 21 Jul 2018 13:30:53 +0200 | paulson | merged | changeset | files |
| Sat, 21 Jul 2018 13:30:43 +0200 | paulson | de-applying and removing junk | changeset | files |
| Fri, 20 Jul 2018 22:19:42 +0200 | blanchet | don't lose facts that were introduced to deal with a theory or some preprocessing in the prover (e.g. the definition of 'abs' in an SMT proof) | changeset | files |