aboutsummaryrefslogtreecommitdiff
path: root/theories/Ints/num/QifMake.v
AgeCommit message (Expand)Author
2008-04-27Report des quelques modifs faites avec Pierre Letouzey sur lesherbelin
2007-12-07Petit oubli de thery.glondu
2007-11-21extensible versionthery
2007-11-06Integration of theories/Ints/Z/* in ZArith and large cleanup and extension of...letouzey
2007-11-01In agreement with Laurent Thery, start migration of auxiliary results letouzey
2007-10-25Adding BigQ and proofsthery