aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/ZArith/vo.itarget
Commit message (Expand)AuthorAge
* Cleanup of files related with power over Z.Gravatar letouzey2011-07-01
* Deletion of useless Zdigits_defGravatar letouzey2011-06-28
* Deletion of useless Zlog_defGravatar letouzey2011-06-28
* Deletion of useless Zsqrt_defGravatar letouzey2011-06-28
* Some cleanup of Zdiv and Zquot, deletion of useless Zdiv_defGravatar letouzey2011-06-28
* Clean-up of Znumtheory, deletion of Zgcd_defGravatar letouzey2011-06-24
* Modularization of BinInt, related fixes in the stdlibGravatar letouzey2011-05-05
* Numbers and bitwise functions.Gravatar letouzey2010-12-06
* Integer division: quot and rem (trunc convention) in addition to div and modGravatar letouzey2010-11-10
* Numbers: axiomatization, properties and implementations of gcdGravatar letouzey2010-11-05
* Numbers : log2. Abstraction, properties and implementations.Gravatar letouzey2010-11-02
* Add sqrt in NumbersGravatar letouzey2010-10-19
* ZBinary (impl of Numbers via Z) reworked, comes earlier, subsumes ZOrderedTypeGravatar letouzey2010-02-09
* Rename Zbinary into Zdigit in order to avoid confusion with Numbers/.../ZBina...Gravatar letouzey2010-01-14
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 16:13:35 +0000