Mercurial > cpdt > repo

comparison src/InductiveTypes.v @ 546:306539f29eea

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make specially licensed versions of lib files for cpdtlib.tgz. This adds an ocaml tool and calls to it in the Makefile.
author Arthur Peters <amp@singingwizard.org>
date Thu, 12 May 2016 18:09:36 -0500
parents 429e95d23b26
children 81d63d9c1cc5
comparison
equal deleted inserted replaced
545:4f6e7bab0d45 546:306539f29eea