Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | AddGetCarry.v | 3474 | logplain |
-rw-r--r-- | Definitions.v | 2666 | logplain |
-rw-r--r-- | Div.v | 4786 | logplain |
-rw-r--r-- | EquivModulo.v | 3846 | logplain |
-rw-r--r-- | Ge.v | 417 | logplain |
-rw-r--r-- | Hints.v | 703 | logplain |
d--------- | Hints | 146 | logplain |
-rw-r--r-- | Land.v | 372 | logplain |
-rw-r--r-- | ModInv.v | 1940 | logplain |
-rw-r--r-- | Modulo.v | 11779 | logplain |
d--------- | Modulo | 38 | logplain |
-rw-r--r-- | Morphisms.v | 3513 | logplain |
-rw-r--r-- | MulSplit.v | 1175 | logplain |
-rw-r--r-- | Notations.v | 173 | logplain |
-rw-r--r-- | Peano.v | 3433 | logplain |
-rw-r--r-- | Pow2Mod.v | 1987 | logplain |
-rw-r--r-- | Quot.v | 4309 | logplain |
-rw-r--r-- | Sgn.v | 344 | logplain |
-rw-r--r-- | Stabilization.v | 4783 | logplain |
-rw-r--r-- | Tactics.v | 717 | logplain |
d--------- | Tactics | 583 | logplain |
-rw-r--r-- | Testbit.v | 3283 | logplain |
-rw-r--r-- | Z2Nat.v | 216 | logplain |
-rw-r--r-- | ZSimplify.v | 109 | logplain |
d--------- | ZSimplify | 113 | logplain |
-rw-r--r-- | Zselect.v | 496 | logplain |