matita.cs.unibo.it Git - helm.git/tree

-rw-r--r--	366	and_implies_or.cic	blob \| raw
-rw-r--r--	313	and_implies_or2.cic	blob \| raw
-rw-r--r--	642	apply.cic	blob \| raw
-rw-r--r--	982	bug.cic	blob \| raw
-rw-r--r--	661	calcolo_proposizioni.cic	blob \| raw
-rw-r--r--	773	conversion.cic	blob \| raw
-rw-r--r--	539	elim.cic	blob \| raw
-rw-r--r--	1364	elim2.cic	blob \| raw
-rw-r--r--	1723	evars.cic	blob \| raw
-rw-r--r--	346	fourier.cic	blob \| raw
-rw-r--r--	597	prova.cic	blob \| raw
drwxr-xr-x	-	ring	tree
-rw-r--r--	504	sets.cic	blob \| raw