Name | Date | Size | ||
---|---|---|---|---|
.. | 30-Oct-2020 | 33 | ||
isand.ML | H A D | 25-Jul-2019 | 5.9 KiB | |
README | H A D | 25-Jul-2019 | 120 | |
rw_inst.ML | H A D | 25-Jul-2019 | 9.4 KiB | |
zipper.ML | H A D | 25-Jul-2019 | 14.9 KiB |
README
1Author: Lucas Dixon, University of Edinburgh 2 3Support files for IsaPlanner (see http://isaplanner.sourceforge.net). 4