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.
- removed TFF/nat.lp and TFF/List.lp now in Stdlib
- declare Zenon.FOL.ϵ as injective
First release.