package hol2dk

CHANGES.md

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

0.0.1 (2023-11-22)

Added

• add command dump-use for dumping a file without including "hol.ml"

Modified

• rename mk-part command into mk

• the dump command now includes "hol.ml"

• do not print ocaml warnings while dumping proofs

• do not export unused proofs (about 7%)

• make hol2dk stat give the number of unused proofs

Fixed

• README.md

• output of hol2dk axm

• output of hol2dk mk

0.0.0 (2023-11-08)

First release.