## Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

## Summary

- document change in metadata
- generalized fixed bounds on determinants to predicate; added an improved determinate bound -> result: get smaller bound on mixed integer solutions (replace n! by sqrt(n^n))