Tue, 26 Mar 2019 14:13:03 +0100 | wenzelm | tuned proofs; | changeset | files |
Tue, 26 Mar 2019 13:45:46 +0100 | wenzelm | removed spurious debugging; | changeset | files |
Tue, 26 Mar 2019 13:25:32 +0100 | wenzelm | export propositional status of consts; | changeset | files |
Tue, 26 Mar 2019 17:01:55 +0000 | paulson | merged | changeset | files |
Tue, 26 Mar 2019 17:01:36 +0000 | paulson | generalised homotopic_with to topologies; homotopic_with_canon is the old version | changeset | files |
Tue, 26 Mar 2019 16:27:29 +0100 | Thomas Sewell | follow up on Braun: get timing function right | changeset | files |
Tue, 26 Mar 2019 16:03:01 +0100 | Thomas Sewell | Tweak Braun tree list_fast_rec recursion. | changeset | files |