isabelle: Changelog

wenzelm [Sun, 22 Jul 2018 14:15:04 +0200] rev 68676

merged

wenzelm [Sun, 22 Jul 2018 14:01:52 +0200] rev 68675

updated to polyml-5.7.1-7 (see also afa7c5a239e6);

paulson [Sun, 22 Jul 2018 13:29:41 +0200] rev 68674

merged

paulson <lp15@cam.ac.uk> [Sun, 22 Jul 2018 13:29:24 +0200] rev 68673

de-applying

wenzelm [Sun, 22 Jul 2018 13:00:38 +0200] rev 68672

avoid Unicode conflict with \<pounds>;

paulson <lp15@cam.ac.uk> [Sat, 21 Jul 2018 23:25:22 +0200] rev 68671

fixing a theorem statement, etc.

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

isabelle