IsaPlanner for Isabelle 2015 with a Dockerfile

@iislucas iislucas released this Jan 2, 2016 · 1 commit to master since this release

This release includes a Dockerfile for creating an Isabelle/IsaPlanner/IsaCoSy image with all dependencies and heaps the relevant HOL heaps built.

Fixed conjecture looping; removed dead code

@iislucas iislucas released this Dec 24, 2015 · 3 commits to master since this release

At some point we had stopped using the code to avoid going in loops of conjecturing. This was a mistake. I added it back in again. It was tested by re-enabling the previous disabled final tests in quicktest.thy, and also by use in TheoryMine.