isabelle: Changelog

paulson [Sat, 21 Jul 2018 13:30:53 +0200] rev 68670

merged

paulson <lp15@cam.ac.uk> [Sat, 21 Jul 2018 13:30:43 +0200] rev 68669

de-applying and removing junk

blanchet [Fri, 20 Jul 2018 22:19:42 +0200] rev 68668

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)

Andreas Lochbihler [Fri, 20 Jul 2018 10:09:59 +0200] rev 68667

add lemmas about prod_filter

paulson [Fri, 20 Jul 2018 09:05:34 +0200] rev 68666

merged

paulson <lp15@cam.ac.uk> [Fri, 20 Jul 2018 00:32:10 +0200] rev 68665

corrections to markup

paulson <lp15@cam.ac.uk> [Thu, 19 Jul 2018 23:23:10 +0200] rev 68664

updated material concerning Algebra

paulson [Thu, 19 Jul 2018 17:28:13 +0200] rev 68663

merged

paulson <lp15@cam.ac.uk> [Thu, 19 Jul 2018 17:27:44 +0200] rev 68662

de-applying

wenzelm [Fri, 20 Jul 2018 03:14:44 +0200] rev 68661

added system option "strict_facts";

isabelle