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

drwxr-xr-x		..
-rw-r--r--	1300	Makefile	blob \| history \| raw
-rw-r--r--	373	TODO	blob \| history \| raw
-rw-r--r--	3777	WrtCoq.html	blob \| history \| raw
-rw-r--r--	4260	authoring.html	blob \| history \| raw
-rw-r--r--	14427	axiom_definition_declaration.html	blob \| history \| raw
-rw-r--r--	7160	ch05s02.html	blob \| history \| raw
-rw-r--r--	3558	cicbrowser.html	blob \| history \| raw
-rw-r--r--	2646	command_check.html	blob \| history \| raw
-rw-r--r--	7216	command_coercion.html	blob \| history \| raw
-rw-r--r--	3471	command_include.html	blob \| history \| raw
-rw-r--r--	2764	command_include_alias.html	blob \| history \| raw
-rw-r--r--	2527	command_qed.html	blob \| history \| raw
-rw-r--r--	2587	command_qed_minus.html	blob \| history \| raw
-rw-r--r--	3885	command_unification_hint.html	blob \| history \| raw
-rw-r--r--	2139	command_universe_constraints.html	blob \| history \| raw
-rw-r--r--	6367	declarative_tactics_quickref.xml	blob \| history \| raw
-rw-r--r--	646	docbook.css	blob \| history \| raw
drwxr-xr-x	-	figures	tree \| history
-rw-r--r--	15312	index.html	blob \| history \| raw
-rw-r--r--	9699	inst_from_src.html	blob \| history \| raw
-rw-r--r--	1047	legal.xml	blob \| history \| raw
-rw-r--r--	2602	macro_intro.html	blob \| history \| raw
-rw-r--r--	688169	matita.pdf	blob \| history \| raw
-rw-r--r--	8292	matita.xml	blob \| history \| raw
-rw-r--r--	6285	proofs.html	blob \| history \| raw
-rw-r--r--	5387	proofstatus.html	blob \| history \| raw
drwxr-xr-x	-	scripts	tree \| history
-rw-r--r--	6238	sec_commands.html	blob \| history \| raw
-rw-r--r--	30114	sec_commands.xml	blob \| history \| raw
-rw-r--r--	12275	sec_declarative_tactics.html	blob \| history \| raw
-rw-r--r--	25728	sec_declarative_tactics.xml	blob \| history \| raw
-rw-r--r--	4897	sec_gettingstarted.html	blob \| history \| raw
-rw-r--r--	7170	sec_gettingstarted.xml	blob \| history \| raw
-rw-r--r--	9324	sec_install.html	blob \| history \| raw
-rw-r--r--	24026	sec_install.xml	blob \| history \| raw
-rw-r--r--	3671	sec_intro.html	blob \| history \| raw
-rw-r--r--	4211	sec_intro.xml	blob \| history \| raw
-rw-r--r--	2890	sec_license.html	blob \| history \| raw
-rw-r--r--	149	sec_license.xml	blob \| history \| raw
-rw-r--r--	3917	sec_tacticals.html	blob \| history \| raw
-rw-r--r--	11962	sec_tacticals.xml	blob \| history \| raw
-rw-r--r--	11248	sec_tactics.html	blob \| history \| raw
-rw-r--r--	38395	sec_tactics.xml	blob \| history \| raw
-rw-r--r--	29402	sec_terms.html	blob \| history \| raw
-rw-r--r--	36527	sec_terms.xml	blob \| history \| raw
-rw-r--r--	29468	sec_usernotation.html	blob \| history \| raw
-rw-r--r--	20635	sec_usernotation.xml	blob \| history \| raw
-rw-r--r--	4028	tac_andelim.html	blob \| history \| raw
-rw-r--r--	3382	tac_apply.html	blob \| history \| raw
-rw-r--r--	4416	tac_applyS.html	blob \| history \| raw
-rw-r--r--	3274	tac_assume.html	blob \| history \| raw
-rw-r--r--	2607	tac_assumption.html	blob \| history \| raw
-rw-r--r--	3237	tac_auto.html	blob \| history \| raw
-rw-r--r--	3161	tac_bydone.html	blob \| history \| raw
-rw-r--r--	3015	tac_byinduction.html	blob \| history \| raw
-rw-r--r--	4096	tac_bytermweproved.html	blob \| history \| raw
-rw-r--r--	3977	tac_case.html	blob \| history \| raw
-rw-r--r--	3771	tac_cases.html	blob \| history \| raw
-rw-r--r--	3215	tac_change.html	blob \| history \| raw
-rw-r--r--	2795	tac_clear.html	blob \| history \| raw
-rw-r--r--	2928	tac_conclude.html	blob \| history \| raw
-rw-r--r--	3445	tac_constructor.html	blob \| history \| raw
-rw-r--r--	2986	tac_cut.html	blob \| history \| raw
-rw-r--r--	3314	tac_decompose.html	blob \| history \| raw
-rw-r--r--	3984	tac_destruct.html	blob \| history \| raw
-rw-r--r--	3343	tac_elim.html	blob \| history \| raw
-rw-r--r--	3956	tac_existselim.html	blob \| history \| raw
-rw-r--r--	3614	tac_generalize.html	blob \| history \| raw
-rw-r--r--	2990	tac_intro.html	blob \| history \| raw
-rw-r--r--	2717	tac_intro_clear.html	blob \| history \| raw
-rw-r--r--	3421	tac_inversion.html	blob \| history \| raw
-rw-r--r--	3086	tac_lapply.html	blob \| history \| raw
-rw-r--r--	2900	tac_let.html	blob \| history \| raw
-rw-r--r--	2824	tac_letin.html	blob \| history \| raw
-rw-r--r--	2858	tac_normalize.html	blob \| history \| raw
-rw-r--r--	3703	tac_obtain.html	blob \| history \| raw
-rw-r--r--	3435	tac_rewrite.html	blob \| history \| raw
-rw-r--r--	4004	tac_rewrite_step.html	blob \| history \| raw
-rw-r--r--	3295	tac_suppose.html	blob \| history \| raw
-rw-r--r--	4531	tac_thatisequivalentto.html	blob \| history \| raw
-rw-r--r--	3044	tac_thesisbecomes.html	blob \| history \| raw
-rw-r--r--	3569	tac_weneedtoprove.html	blob \| history \| raw
-rw-r--r--	3397	tac_weproceedbycases.html	blob \| history \| raw
-rw-r--r--	3838	tac_weproceedbyinduction.html	blob \| history \| raw
-rw-r--r--	2932	tac_whd.html	blob \| history \| raw
-rw-r--r--	151	tactic_quickref.xml	blob \| history \| raw
-rw-r--r--	12427	tacticals.html	blob \| history \| raw
-rw-r--r--	17770	tacticargs.html	blob \| history \| raw
-rw-r--r--	5964	tactics_quickref.xml	blob \| history \| raw
-rw-r--r--	17	version.txt.in	blob \| history \| raw
-rw-r--r--	61877	xhtml1-transitional.dtd	blob \| history \| raw
drwxr-xr-x	-	xsl	tree \| history