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

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