Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | AddGetCarry.v | 2517 | logplain |
-rw-r--r-- | Definitions.v | 1467 | logplain |
-rw-r--r-- | Div.v | 4569 | logplain |
-rw-r--r-- | EquivModulo.v | 3573 | logplain |
-rw-r--r-- | Hints.v | 703 | logplain |
d--------- | Hints | 146 | logplain |
-rw-r--r-- | Land.v | 364 | logplain |
-rw-r--r-- | Modulo.v | 7113 | logplain |
d--------- | Modulo | 38 | logplain |
-rw-r--r-- | Morphisms.v | 3174 | logplain |
-rw-r--r-- | Notations.v | 173 | 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 | 3250 | logplain |
-rw-r--r-- | ZSimplify.v | 109 | logplain |
d--------- | ZSimplify | 113 | logplain |
-rw-r--r-- | Zselect.v | 485 | logplain |