Index of /teams/marelle/coq-18/jscoq/coq-pkgs/Coq/setoid_ring

	Name	Last modified	Size	Description
	Parent Directory		-
	Algebra_syntax.vo	26-Jul-2018 10:17	10K
	ArithRing.vo	26-Jul-2018 10:18	33K
	BinList.vo	26-Jul-2018 10:18	22K
	Cring.vo	26-Jul-2018 10:19	120K
	Field.vo	26-Jul-2018 10:18	25K
	Field_tac.vo	26-Jul-2018 10:18	84K
	Field_theory.vo	26-Jul-2018 10:18	573K
	InitialRing.vo	26-Jul-2018 10:18	173K
	Integral_domain.vo	26-Jul-2018 10:19	48K
	NArithRing.vo	26-Jul-2018 10:18	29K
	Ncring.vo	26-Jul-2018 10:18	133K
	Ncring_initial.vo	26-Jul-2018 10:19	139K
	Ncring_polynom.vo	26-Jul-2018 10:19	296K
	Ncring_tac.vo	26-Jul-2018 10:19	99K
	RealField.vo	26-Jul-2018 10:18	45K
	Ring.vo	26-Jul-2018 10:18	31K
	Ring_base.vo	26-Jul-2018 10:18	25K
	Ring_polynom.vo	26-Jul-2018 10:18	452K
	Ring_tac.vo	26-Jul-2018 10:18	64K
	Ring_theory.vo	26-Jul-2018 10:18	149K
	Rings_Q.vo	26-Jul-2018 10:19	36K
	Rings_R.vo	26-Jul-2018 10:20	54K
	Rings_Z.vo	26-Jul-2018 10:19	31K
	ZArithRing.vo	26-Jul-2018 10:18	31K
	newring_plugin.cmo	26-Jul-2018 10:20	317K
	newring_plugin.cmo.js	26-Jul-2018 10:33	35K