aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Num
ModeNameSize
-rw-r--r--.depend2996logplain
-rw-r--r--AddProps.v1609logplain
-rw-r--r--Axioms.v1497logplain
-rw-r--r--Definitions.v1009logplain
-rw-r--r--DiscrAxioms.v698logplain
-rw-r--r--DiscrProps.v731logplain
-rw-r--r--EqAxioms.v1178logplain
-rw-r--r--EqParams.v925logplain
-rw-r--r--GeAxioms.v770logplain
-rw-r--r--GeProps.v525logplain
-rw-r--r--GtAxioms.v770logplain
-rw-r--r--GtProps.v525logplain
-rw-r--r--LeAxioms.v792logplain
-rw-r--r--LeProps.v3183logplain
d---------Leibniz178logplain
-rw-r--r--LtProps.v2200logplain
-rw-r--r--Make253logplain
-rw-r--r--Makefile6754logplain
-rw-r--r--NSyntax.v1214logplain
d---------Nat176logplain
-rw-r--r--NeqAxioms.v966logplain
-rw-r--r--NeqDef.v1097logplain
-rw-r--r--NeqParams.v754logplain
-rw-r--r--NeqProps.v1453logplain
-rw-r--r--OppAxioms.v525logplain
-rw-r--r--OppProps.v525logplain
-rw-r--r--Params.v999logplain
-rw-r--r--SubProps.v525logplain