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

drwxr-xr-x		..
-rw-r--r--	14	.cvsignore	blob \| history \| raw
-rw-r--r--	1207	Makefile	blob \| history \| raw
-rw-r--r--	1296	absurd.ma	blob \| history \| raw
-rw-r--r--	502	apply.ma	blob \| history \| raw
-rw-r--r--	1542	assumption.ma	blob \| history \| raw
-rwxr-xr-x	525	auto.ma	blob \| history \| raw
-rw-r--r--	88	baseuri.ma	blob \| history \| raw
-rw-r--r--	1417	change.ma	blob \| history \| raw
-rw-r--r--	1325	clear.ma	blob \| history \| raw
-rw-r--r--	1371	clearbody.ma	blob \| history \| raw
-rw-r--r--	625	coercions.ma	blob \| history \| raw
-rw-r--r--	1438	comments.ma	blob \| history \| raw
-rw-r--r--	1192	constructor.ma	blob \| history \| raw
-rw-r--r--	1371	contradiction.ma	blob \| history \| raw
-rw-r--r--	1214	cut.ma	blob \| history \| raw
-rw-r--r--	1337	decompose.ma	blob \| history \| raw
-rw-r--r--	1295	discriminate.ma	blob \| history \| raw
-rw-r--r--	2155	elim.ma	blob \| history \| raw
-rw-r--r--	3095	fguidi.ma	blob \| history \| raw
-rw-r--r--	571	first.ma	blob \| history \| raw
-rw-r--r--	404	fix_betareduction.ma	blob \| history \| raw
-rw-r--r--	406	fold.ma	blob \| history \| raw
drwxr-xr-x	-	interactive	tree \| history
-rw-r--r--	1161	inversion.ma	blob \| history \| raw
-rw-r--r--	338	letrec.ma	blob \| history \| raw
-rw-r--r--	908	match_inference.ma	blob \| history \| raw
-rw-r--r--	104	mysql_escaping.ma	blob \| history \| raw
-rw-r--r--	498	record.ma	blob \| history \| raw
-rw-r--r--	650	replace.ma	blob \| history \| raw
-rw-r--r--	973	rewrite.ma	blob \| history \| raw
-rw-r--r--	360	second.ma	blob \| history \| raw
-rw-r--r--	282	simpl.ma	blob \| history \| raw
-rw-r--r--	297	test2.ma	blob \| history \| raw
-rw-r--r--	375	test3.ma	blob \| history \| raw
-rw-r--r--	444	test4.ma	blob \| history \| raw
-rw-r--r--	366	third.ma	blob \| history \| raw