OCaml Forge

File Release Notes and Changelog

Release Name: 1.3.1

Change Log

Fixed big bug in the computation of the pure literal rule