isabelle: Changelog

wenzelm [Tue, 26 Mar 2019 14:23:18 +0100] rev 69991

clarified signature: avoid direct comparison on type rough_classification;

wenzelm [Tue, 26 Mar 2019 14:13:03 +0100] rev 69990

tuned proofs;

wenzelm [Tue, 26 Mar 2019 13:45:46 +0100] rev 69989

removed spurious debugging;

wenzelm [Tue, 26 Mar 2019 13:25:32 +0100] rev 69988

export propositional status of consts;

paulson [Tue, 26 Mar 2019 17:01:55 +0000] rev 69987

merged

paulson <lp15@cam.ac.uk> [Tue, 26 Mar 2019 17:01:36 +0000] rev 69986

generalised homotopic_with to topologies; homotopic_with_canon is the old version

Thomas Sewell <sewell@chalmers.se> [Tue, 26 Mar 2019 16:27:29 +0100] rev 69985

follow up on Braun: get timing function right

Thomas Sewell <sewell@chalmers.se> [Tue, 26 Mar 2019 16:03:01 +0100] rev 69984

Tweak Braun tree list_fast_rec recursion. A minor adjustment simplifies the termination argument slightly.

isabelle