aboutsummaryrefslogtreecommitdiff
path: root/theories/theories.itarget
AgeCommit message (Expand)Author
2010-12-10First release of Vector library.pboutill
2010-11-02Move stuff about positive into a distinct PArith subdirletouzey
2009-12-09Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...letouzey
2009-12-08Fix the build of coq via ocamlbuildletouzey
2009-11-10Simplification of Numbers, mainly thanks to Includeletouzey
2009-11-06Numbers: finish files NStrongRec and NDefOpsletouzey
2009-11-03ROrderedType + Rminmax : Coq's Reals can be seen as OrderedType.letouzey
2009-11-03OrderedType implementation for various numerical datatypes + min/max structuresletouzey
2009-10-20FSetCompat: a compatibility wrapper between FSets and MSetsletouzey
2009-10-19Merge SetoidList2 into SetoidList.letouzey
2009-10-16Structure/OrderTac.v : highlight the "order" tactic by isolating it from FSet...letouzey
2009-10-13MSets: a new generation of FSetsletouzey
2009-09-17Remove useless MonoList.vglondu
2009-04-03Ocamlbuild: improvements suggested by N. Pouillardletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 00:46:09 +0000