aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers/BigNumPrelude.v
Commit message (Expand)AuthorAge
* Updating headers.Gravatar herbelin2012-08-08
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Modularization of BinInt, related fixes in the stdlibGravatar letouzey2011-05-05
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Made option "Automatic Introduction" active by default before too manyGravatar herbelin2010-06-08
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Simplification of Numbers, mainly thanks to IncludeGravatar letouzey2009-11-10
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Znumtheory + Zdiv enriched with stuff from ZMicromega, misc improvementsGravatar letouzey2009-09-09
* Parsing files for numerals (+ ascii/string) moved into pluginsGravatar letouzey2009-03-27
* QMake: Proofs that add_norm and other ..._norm functions produce irreducible ...Gravatar letouzey2008-06-28
* Some work on BigQ :Gravatar letouzey2008-06-25
* Cyclic31: no more Admitted, but I've cheated: sqrt31 and sqrt312 are Gravatar letouzey2008-05-28
* Cyclic31: migrate auxiliary lemmas to their legitimate filesGravatar letouzey2008-05-27
* Coq headers + $ in theories/Numbers filesGravatar letouzey2008-05-15
* Integration of theories/Ints into theories/Numbers, part 1: moving filesGravatar letouzey2008-05-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 11:39:32 +0000