aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers/Rational/BigQ/BigQ.v
Commit message (Expand)AuthorAge
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* BigQ : setting correct arguments scopesGravatar letouzey2011-02-23
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* More improvements of BigN, BigZ, BigQ:Gravatar letouzey2010-01-18
* BigN, BigZ, BigQ: presentation via unique module with both ops and propsGravatar letouzey2010-01-17
* RelationPairs: stop loading it in all Numbers, stop maximal args with fst/sndGravatar letouzey2009-12-18
* Fix backtracking heuristic in typeclass resolution. Gravatar msozeau2009-11-30
* BigQ / BigN / BigZ syntax and scope improvements (sequel to 12504)Gravatar letouzey2009-11-12
* Repair interpretation of numeral for BigQ, add a printer (close #2160)Gravatar letouzey2009-11-12
* Numbers: more (syntactic) changes toward new style of type classesGravatar letouzey2009-11-06
* Fix bug #1899: no more strange notations for Qge and QgtGravatar letouzey2008-07-04
* Some work on BigQ :Gravatar letouzey2008-06-25
* BigQ: starting to create and use an interface QSigGravatar letouzey2008-06-01
* 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-07-09 05:50:56 +0000