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

-rw-r--r--	366	and_implies_or.cic	blob \| raw
-rw-r--r--	253	and_implies_or2.cic	blob \| raw
-rw-r--r--	615	apply.cic	blob \| raw
-rw-r--r--	896	bug.cic	blob \| raw
-rw-r--r--	577	calcolo_proposizioni.cic	blob \| raw
-rw-r--r--	711	conversion.cic	blob \| raw
-rw-r--r--	499	elim.cic	blob \| raw
-rw-r--r--	1497	elim2.cic	blob \| raw
-rw-r--r--	1661	evars.cic	blob \| raw
drwxr-xr-x	-	fourier	tree
-rw-r--r--	588	prova.cic	blob \| raw
-rw-r--r--	165	rewrite.cic	blob \| raw
drwxr-xr-x	-	ring	tree
-rw-r--r--	556	sets.cic	blob \| raw
-rw-r--r--	127	various.cic	blob \| raw