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

-rw-r--r--	4805	bugs	blob \| raw
-rw-r--r--	3369871	log20060329_ripristinata_convertibilita_aggressiva	blob \| raw
-rw-r--r--	2537453	log20060329_subst_avoids_beta_redexes	blob \| raw
-rw-r--r--	2684	mostri20060328	blob \| raw
-rw-r--r--	3034	mostri20060329_ripristinata_convertibilita_aggressiva	blob \| raw
-rw-r--r--	3048	mostri20060329_subst_avoids_beta_redexes	blob \| raw
-rw-r--r--	2309458	uris.ordered	blob \| raw
-rw-r--r--	2309458	uris.unordered	blob \| raw

Unnamed repository; edit this file 'description' to name the repository.