CHANGES (p.term-tools.0.0.2.doc.CHANGES)

Up – Package index » Term tools » CHANGES

0.0.1

First release of term-tools, a library to manipulate first-order terms.

Term tools
- CHANGES
- LICENSE
- README
- Library term-tools
  - Term_tools
- Sources