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