matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/bin/recomm/

drwxr-xr-x		..
-rw-r--r--	321	Makefile	blob \| history \| raw
-rw-r--r--	114	bGroundArith.mrc	blob \| history \| raw
-rw-r--r--	50	bGroundCounters.mrc	blob \| history \| raw
-rw-r--r--	105	bGroundLib.mrc	blob \| history \| raw
-rw-r--r--	138	dGroundArith.mrc	blob \| history \| raw
-rw-r--r--	99	dGroundCounters.mrc	blob \| history \| raw
-rw-r--r--	106	dGroundLib.mrc	blob \| history \| raw
-rw-r--r--	503	mrc.ml	blob \| history \| raw
-rw-r--r--	0	mrc.mli	blob \| history \| raw
-rw-r--r--	1731	mrcInput.ml	blob \| history \| raw
-rw-r--r--	137	mrcInput.mli	blob \| history \| raw
-rw-r--r--	1970	mrcOutput.ml	blob \| history \| raw
-rw-r--r--	95	mrcOutput.mli	blob \| history \| raw
-rw-r--r--	521	mrcTypes.ml	blob \| history \| raw
-rw-r--r--	46	pGroundArith.mrc	blob \| history \| raw
-rw-r--r--	42	pGroundLib.mrc	blob \| history \| raw
-rw-r--r--	200	rGroundArith.mrc	blob \| history \| raw
-rw-r--r--	29	rGroundCounters.mrc	blob \| history \| raw
-rw-r--r--	198	rGroundLib.mrc	blob \| history \| raw
-rw-r--r--	1936	recomm.ml	blob \| history \| raw
-rw-r--r--	0	recomm.mli	blob \| history \| raw
-rw-r--r--	3209	recommCheck.ml	blob \| history \| raw
-rw-r--r--	261	recommCheck.mli	blob \| history \| raw
-rw-r--r--	456	recommGc.ml	blob \| history \| raw
-rw-r--r--	0	recommGc.mli	blob \| history \| raw
-rw-r--r--	960	recommGcbGroundArith.ml	blob \| history \| raw
-rw-r--r--	0	recommGcbGroundArith.mli	blob \| history \| raw
-rw-r--r--	352	recommGcbGroundCounters.ml	blob \| history \| raw
-rw-r--r--	0	recommGcbGroundCounters.mli	blob \| history \| raw
-rw-r--r--	619	recommGcbGroundLib.ml	blob \| history \| raw
-rw-r--r--	0	recommGcbGroundLib.mli	blob \| history \| raw
-rw-r--r--	747	recommGcdGroundArith.ml	blob \| history \| raw
-rw-r--r--	0	recommGcdGroundArith.mli	blob \| history \| raw
-rw-r--r--	490	recommGcdGroundCounters.ml	blob \| history \| raw
-rw-r--r--	0	recommGcdGroundCounters.mli	blob \| history \| raw
-rw-r--r--	669	recommGcdGroundLib.ml	blob \| history \| raw
-rw-r--r--	0	recommGcdGroundLib.mli	blob \| history \| raw
-rw-r--r--	280	recommGcpGroundArith.ml	blob \| history \| raw
-rw-r--r--	0	recommGcpGroundArith.mli	blob \| history \| raw
-rw-r--r--	272	recommGcpGroundLib.ml	blob \| history \| raw
-rw-r--r--	0	recommGcpGroundLib.mli	blob \| history \| raw
-rw-r--r--	1072	recommGcrGroundArith.ml	blob \| history \| raw
-rw-r--r--	0	recommGcrGroundArith.mli	blob \| history \| raw
-rw-r--r--	236	recommGcrGroundCounters.ml	blob \| history \| raw
-rw-r--r--	0	recommGcrGroundCounters.mli	blob \| history \| raw
-rw-r--r--	980	recommGcrGroundLib.ml	blob \| history \| raw
-rw-r--r--	0	recommGcrGroundLib.mli	blob \| history \| raw
-rw-r--r--	387	recommGcsAttr.ml	blob \| history \| raw
-rw-r--r--	0	recommGcsAttr.mli	blob \| history \| raw
-rw-r--r--	1046	recommGcsMain.ml	blob \| history \| raw
-rw-r--r--	0	recommGcsMain.mli	blob \| history \| raw
-rw-r--r--	348	recommGcsWith.ml	blob \| history \| raw
-rw-r--r--	0	recommGcsWith.mli	blob \| history \| raw
-rw-r--r--	208	recommInput.ml	blob \| history \| raw
-rw-r--r--	42	recommInput.mli	blob \| history \| raw
-rw-r--r--	1733	recommLexer.mll	blob \| history \| raw
-rw-r--r--	1414	recommOutput.ml	blob \| history \| raw
-rw-r--r--	94	recommOutput.mli	blob \| history \| raw
-rw-r--r--	1729	recommParser.mly	blob \| history \| raw
-rw-r--r--	763	recommPccFor.ml	blob \| history \| raw
-rw-r--r--	83	recommPccFor.mli	blob \| history \| raw
-rw-r--r--	475	recommPcsAnd.ml	blob \| history \| raw
-rw-r--r--	41	recommPcsAnd.mli	blob \| history \| raw
-rw-r--r--	285	recommPcsPar.ml	blob \| history \| raw
-rw-r--r--	41	recommPcsPar.mli	blob \| history \| raw
-rw-r--r--	101	recommStep.ml	blob \| history \| raw
-rw-r--r--	119	recommStep.mli	blob \| history \| raw
-rw-r--r--	560	recommTypes.ml	blob \| history \| raw
-rw-r--r--	50	sAttr.mrc	blob \| history \| raw
-rw-r--r--	214	sMain.mrc	blob \| history \| raw
-rw-r--r--	44	sWith.mrc	blob \| history \| raw