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

-rw-r--r--	1118	decomposedstd_2.ma	blob \| raw
-rw-r--r--	1107	parred_2.ma	blob \| raw
-rw-r--r--	1112	parredstar_2.ma	blob \| raw
-rw-r--r--	1139	prec_2.ma	blob \| raw
-rw-r--r--	1165	seqred_2.ma	blob \| raw
-rw-r--r--	1130	seqred_3.ma	blob \| raw
-rw-r--r--	1112	seqredstar_2.ma	blob \| raw
-rw-r--r--	1135	seqredstar_3.ma	blob \| raw
-rw-r--r--	1131	std_3.ma	blob \| raw
-rw-r--r--	1136	stdstar_3.ma	blob \| raw