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

-rw-r--r--	2878	aarity.ma	blob \| raw
-rw-r--r--	1977	cl_restricted_weight.ma	blob \| raw
-rw-r--r--	1936	cl_weight.ma	blob \| raw
-rw-r--r--	1989	genv.ma	blob \| raw
-rw-r--r--	1278	genv_length.ma	blob \| raw
-rw-r--r--	2881	item.ma	blob \| raw
-rw-r--r--	2804	lenv.ma	blob \| raw
-rw-r--r--	5024	lenv_append.ma	blob \| raw
-rw-r--r--	2080	lenv_length.ma	blob \| raw
-rw-r--r--	1503	lenv_weight.ma	blob \| raw
-rw-r--r--	7788	lreq.ma	blob \| raw
-rw-r--r--	2463	lreq_lreq.ma	blob \| raw
-rw-r--r--	5829	term.ma	blob \| raw
-rw-r--r--	1865	term_simple.ma	blob \| raw
-rw-r--r--	1567	term_vector.ma	blob \| raw
-rw-r--r--	1445	term_weight.ma	blob \| raw
-rw-r--r--	3930	tsts.ma	blob \| raw
-rw-r--r--	1578	tsts_tsts.ma	blob \| raw
-rw-r--r--	1551	tsts_vector.ma	blob \| raw