| 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 |
| Fri, 20 Jul 2018 10:09:59 +0200 | Andreas Lochbihler | add lemmas about prod_filter | changeset | files |
| Fri, 20 Jul 2018 09:05:34 +0200 | paulson | merged | changeset | files |
| Fri, 20 Jul 2018 00:32:10 +0200 | paulson | corrections to markup | changeset | files |
| Thu, 19 Jul 2018 23:23:10 +0200 | paulson | updated material concerning Algebra | changeset | files |