matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/procedural/Coq/Num/

drwxr-xr-x		..
-rw-r--r--	2754	AddProps.mma	blob \| history \| raw
-rw-r--r--	2888	Axioms.mma	blob \| history \| raw
-rw-r--r--	2598	Definitions.mma	blob \| history \| raw
-rw-r--r--	1894	DiscrAxioms.mma	blob \| history \| raw
-rw-r--r--	1912	DiscrProps.mma	blob \| history \| raw
-rw-r--r--	2428	EqAxioms.mma	blob \| history \| raw
-rw-r--r--	2133	EqParams.mma	blob \| history \| raw
-rw-r--r--	1997	GeAxioms.mma	blob \| history \| raw
-rw-r--r--	1626	GeProps.mma	blob \| history \| raw
-rw-r--r--	1996	GtAxioms.mma	blob \| history \| raw
-rw-r--r--	1626	GtProps.mma	blob \| history \| raw
-rw-r--r--	2005	LeAxioms.mma	blob \| history \| raw
-rw-r--r--	3695	LeProps.mma	blob \| history \| raw
drwxr-xr-x	-	Leibniz	tree \| history
-rw-r--r--	3292	LtProps.mma	blob \| history \| raw
-rw-r--r--	2411	NSyntax.mma	blob \| history \| raw
drwxr-xr-x	-	Nat	tree \| history
-rw-r--r--	2213	NeqAxioms.mma	blob \| history \| raw
-rw-r--r--	2320	NeqDef.mma	blob \| history \| raw
-rw-r--r--	1937	NeqParams.mma	blob \| history \| raw
-rw-r--r--	2501	NeqProps.mma	blob \| history \| raw
-rw-r--r--	1626	OppAxioms.mma	blob \| history \| raw
-rw-r--r--	1626	OppProps.mma	blob \| history \| raw
-rw-r--r--	2460	Params.mma	blob \| history \| raw
-rw-r--r--	1626	SubProps.mma	blob \| history \| raw