categories.functors
categories.JMcat
categories.unit
categories.categories
categories.varieties
categories.dual
categories.algebras
categories.product
categories.setoids
categories.empty
misc.setoid_tactics
misc.workarounds
misc.JMrelation
misc.util
misc.workaround_tactics
theory.monads
theory.forget_variety
theory.series
theory.ua_products
theory.nat_pow
theory.strong_setoids
theory.cut_minus
theory.hom_functor
theory.ua_transference
theory.sequences
theory.functors
theory.ua_term_monad
theory.groups
theory.dec_fields
theory.ua_mapped_operations
theory.categories
theory.nat_distance
theory.ua_packed
theory.ua_subvariety
theory.int_pow
theory.abs
theory.shiftl
theory.ring_ideals
theory.adjunctions
theory.fields
theory.naturals
theory.forget_algebra
theory.ua_subalgebra
theory.ua_subalgebraT
theory.setoids
theory.ua_homomorphisms
theory.streams
theory.rationals
theory.integers
theory.int_abs
theory.jections
theory.rings
theory.monoid_normalization
theory.ua_congruence
theory.quote_monoid
interfaces.monads
interfaces.sequences
interfaces.functors
interfaces.additional_operations
interfaces.orders
interfaces.canonical_names
interfaces.ua_basic
interfaces.vectorspace
interfaces.abstract_algebra
interfaces.naturals
interfaces.rationals
interfaces.integers
interfaces.universal_algebra
implementations.fast_rationals
implementations.polynomials
implementations.positive_semiring_elements
implementations.stdlib_binary_naturals
implementations.fast_naturals
implementations.nonzero_field_elements
implementations.natpair_integers
implementations.fast_integers
implementations.semiring_pairs
implementations.NType_naturals
implementations.nonneg_integers_naturals
implementations.ne_list
implementations.dyadics
implementations.stdlib_rationals
implementations.nonneg_semiring_elements
implementations.cons_list
implementations.intfrac_rationals
implementations.stdlib_binary_integers
implementations.peano_naturals
implementations.QType_rationals
implementations.field_of_fractions
implementations.ZType_integers
varieties.groups
varieties.open_terms
varieties.semirings
varieties.monoids
varieties.semigroups
varieties.closed_terms
varieties.setoids
varieties.empty
varieties.rings
quote.classquote
orders.semirings
orders.dec_fields
orders.orders
orders.minmax
orders.naturals
orders.maps
orders.rationals
orders.integers
orders.rings
This page has been generated by coqdoc