Skip to content

Dblib 10.0.0
Compare
Choose a tag to compare
@KevOrr KevOrr released this 30 Aug 05:39
· 68 commits to master since this release
v10.0.0
50f610d

This release incorporates more recent changes from coq-contribs/dblib

Changes since 0.0.1:

  • Many fixes to the build processes
  • Fix incorrect occurrence of lift being unfolded (8a9889e)
  • Adapt to the strict interpretation of "simpl f at occs" as referring to the occurrences of maximal applicative subterms with head symbol "f" (0bfbf23)
  • In tactics, make sure to fresh variables before introing them (da5d5d1)
Assets 2
Loading