aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Num
ModeNameSize
-rw-r--r--.cvsignore5logplain
-rw-r--r--.depend2996logplain
-rw-r--r--AddProps.v1602logplain
-rw-r--r--Axioms.v1490logplain
-rw-r--r--Definitions.v1002logplain
-rw-r--r--DiscrAxioms.v691logplain
-rw-r--r--DiscrProps.v724logplain
-rw-r--r--EqAxioms.v1171logplain
-rw-r--r--EqParams.v918logplain
-rw-r--r--GeAxioms.v763logplain
-rw-r--r--GeProps.v518logplain
-rw-r--r--GtAxioms.v763logplain
-rw-r--r--GtProps.v518logplain
-rw-r--r--LeAxioms.v785logplain
-rw-r--r--LeProps.v3176logplain
d---------Leibniz178logplain
-rw-r--r--LtProps.v2193logplain
-rw-r--r--Make253logplain
-rw-r--r--Makefile6754logplain
-rw-r--r--NSyntax.v1207logplain
d---------Nat176logplain
-rw-r--r--NeqAxioms.v959logplain
-rw-r--r--NeqDef.v1090logplain
-rw-r--r--NeqParams.v747logplain
-rw-r--r--NeqProps.v1446logplain
-rw-r--r--OppAxioms.v518logplain
-rw-r--r--OppProps.v518logplain
-rw-r--r--Params.v992logplain
-rw-r--r--SubProps.v518logplain