aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers/Integer/BigZ/ZMake.v
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Add user syntax for creating hint databases [Create HintDb fooGravatar msozeau2008-09-14
* Enhanced discrimination nets implementation, which can now work withGravatar msozeau2008-06-27
* Enhance the BigN and BigZ infrastructure: Gravatar letouzey2008-06-01
* switch theories/Numbers from Set to Type (both the abstract and the bignum pa...Gravatar letouzey2008-05-22
* Coq headers + $ in theories/Numbers filesGravatar letouzey2008-05-15
* Integration of theories/Ints into theories/Numbers, part 1: moving filesGravatar letouzey2008-05-07