package info
(click to toggle)
Folder: setoid_ring
.. (parent) | ||||
- | rw-r--r-- | 1,788 | ArithRing.v | |
- | rw-r--r-- | 2,691 | BinList.v | |
- | rw-r--r-- | 581 | Field.v | |
- | rw-r--r-- | 14,664 | Field_tac.v | |
- | rw-r--r-- | 69,417 | Field_theory.v | |
- | rw-r--r-- | 26,872 | InitialRing.v | |
- | rw-r--r-- | 771 | NArithRing.v | |
- | rw-r--r-- | 3,437 | RealField.v | |
- | rw-r--r-- | 1,456 | Ring.v | |
- | rw-r--r-- | 759 | Ring_base.v | |
- | rw-r--r-- | 1,635 | Ring_equiv.v | |
- | rw-r--r-- | 57,316 | Ring_polynom.v | |
- | rw-r--r-- | 11,591 | Ring_tac.v | |
- | rw-r--r-- | 19,958 | Ring_theory.v | |
- | rw-r--r-- | 1,565 | ZArithRing.v | |
- | rw-r--r-- | 42,200 | newring.ml4 |