robdockins 87d5edab00 Documentation updates (#779) ... * Add docstrings for all prelude functions and fix minor style issues. Fixes #771 * Update `CryptolPrims` documentation * Minor updates to the prelude * Update CHANGES * Updates to the cryptol book and CryptolPrims * Fix several additional docstrings * Specify and document properties of signed bitvector division. Fixes #677 * Fixup test * typos and style * Regenerate PDFs		2020-06-30 10:58:25 -07:00
..
.gitignore	Initial import from internal repo	2014-04-17 15:34:25 -07:00
HighAssurance.tex	Documentation updates (#779)	2020-06-30 10:58:25 -07:00
Makefile	merging changes to docs	2016-04-19 11:41:55 -07:00
sanity.icry	merging changes to docs	2016-04-19 11:41:55 -07:00