matita.cs.unibo.it Git - helm.git/tree - helm/www/matita/docs/manual-0.5.9/

drwxr-xr-x		..
-rw-r--r--	1293	Makefile	blob \| history \| raw
-rw-r--r--	373	TODO	blob \| history \| raw
-rw-r--r--	4056	WrtCoq.html	blob \| history \| raw
-rw-r--r--	4256	authoring.html	blob \| history \| raw
-rw-r--r--	11323	axiom_definition_declaration.html	blob \| history \| raw
-rw-r--r--	7148	ch05s02.html	blob \| history \| raw
-rw-r--r--	4972	cicbrowser.html	blob \| history \| raw
-rw-r--r--	2620	command_check.html	blob \| history \| raw
-rw-r--r--	4688	command_coercion.html	blob \| history \| raw
-rw-r--r--	11023	command_default.html	blob \| history \| raw
-rw-r--r--	2820	command_eval.html	blob \| history \| raw
-rw-r--r--	2627	command_hint.html	blob \| history \| raw
-rw-r--r--	3387	command_include.html	blob \| history \| raw
-rw-r--r--	2516	command_include_first.html	blob \| history \| raw
-rw-r--r--	9114	command_inline.html	blob \| history \| raw
-rw-r--r--	2755	command_prefer_coercion.html	blob \| history \| raw
-rw-r--r--	2478	command_qed.html	blob \| history \| raw
-rw-r--r--	3690	command_whelp.html	blob \| history \| raw
-rw-r--r--	5479	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--	0	html-stamp	blob \| history \| raw
-rw-r--r--	17744	index.html	blob \| history \| raw
-rw-r--r--	14610	inst_from_src.html	blob \| history \| raw
-rw-r--r--	1047	legal.xml	blob \| history \| raw
-rw-r--r--	6915	matita.conf.xml.html	blob \| history \| raw
-rw-r--r--	785312	matita.pdf	blob \| history \| raw
-rw-r--r--	71871	matita.txt	blob \| history \| raw
-rw-r--r--	8316	matita.xml	blob \| history \| raw
-rw-r--r--	0	pdf-stamp	blob \| history \| raw
-rw-r--r--	6555	proofs.html	blob \| history \| raw
-rw-r--r--	5383	proofstatus.html	blob \| history \| raw
-rw-r--r--	0	quickref-stamp	blob \| history \| raw
drwxr-xr-x	-	scripts	tree \| history
-rw-r--r--	6570	sec_commands.html	blob \| history \| raw
-rw-r--r--	23379	sec_commands.xml	blob \| history \| raw
-rw-r--r--	10508	sec_declarative_tactics.html	blob \| history \| raw
-rw-r--r--	16498	sec_declarative_tactics.xml	blob \| history \| raw
-rw-r--r--	4980	sec_gettingstarted.html	blob \| history \| raw
-rw-r--r--	7159	sec_gettingstarted.xml	blob \| history \| raw
-rw-r--r--	9565	sec_install.html	blob \| history \| raw
-rw-r--r--	23883	sec_install.xml	blob \| history \| raw
-rw-r--r--	3896	sec_intro.html	blob \| history \| raw
-rw-r--r--	4069	sec_intro.xml	blob \| history \| raw
-rw-r--r--	2816	sec_license.html	blob \| history \| raw
-rw-r--r--	149	sec_license.xml	blob \| history \| raw
-rw-r--r--	3919	sec_tacticals.html	blob \| history \| raw
-rw-r--r--	11962	sec_tacticals.xml	blob \| history \| raw
-rw-r--r--	21787	sec_tactics.html	blob \| history \| raw
-rw-r--r--	63199	sec_tactics.xml	blob \| history \| raw
-rw-r--r--	29201	sec_terms.html	blob \| history \| raw
-rw-r--r--	33544	sec_terms.xml	blob \| history \| raw
-rw-r--r--	29470	sec_usernotation.html	blob \| history \| raw
-rw-r--r--	20627	sec_usernotation.xml	blob \| history \| raw
-rw-r--r--	2883	tac_absurd.html	blob \| history \| raw
-rw-r--r--	3765	tac_andelim.html	blob \| history \| raw
-rw-r--r--	3366	tac_apply.html	blob \| history \| raw
-rw-r--r--	4402	tac_applyS.html	blob \| history \| raw
-rw-r--r--	3483	tac_assume.html	blob \| history \| raw
-rw-r--r--	2598	tac_assumption.html	blob \| history \| raw
-rw-r--r--	3393	tac_auto.html	blob \| history \| raw
-rw-r--r--	2652	tac_bydone.html	blob \| history \| raw
-rw-r--r--	2996	tac_byinduction.html	blob \| history \| raw
-rw-r--r--	3380	tac_bytermweproved.html	blob \| history \| raw
-rw-r--r--	3229	tac_case.html	blob \| history \| raw
-rw-r--r--	3927	tac_cases.html	blob \| history \| raw
-rw-r--r--	3261	tac_change.html	blob \| history \| raw
-rw-r--r--	3022	tac_clear.html	blob \| history \| raw
-rw-r--r--	2772	tac_clearbody.html	blob \| history \| raw
-rw-r--r--	4208	tac_compose.html	blob \| history \| raw
-rw-r--r--	3145	tac_constructor.html	blob \| history \| raw
-rw-r--r--	2721	tac_contradiction.html	blob \| history \| raw
-rw-r--r--	3268	tac_cut.html	blob \| history \| raw
-rw-r--r--	3410	tac_decompose.html	blob \| history \| raw
-rw-r--r--	2638	tac_demodulate.html	blob \| history \| raw
-rw-r--r--	3298	tac_destruct.html	blob \| history \| raw
-rw-r--r--	4245	tac_elim.html	blob \| history \| raw
-rw-r--r--	2896	tac_elimType.html	blob \| history \| raw
-rw-r--r--	2743	tac_exact.html	blob \| history \| raw
-rw-r--r--	2882	tac_exists.html	blob \| history \| raw
-rw-r--r--	3631	tac_exitselim.html	blob \| history \| raw
-rw-r--r--	2422	tac_fail.html	blob \| history \| raw
-rw-r--r--	3278	tac_fold.html	blob \| history \| raw
-rw-r--r--	2728	tac_fourier.html	blob \| history \| raw
-rw-r--r--	3856	tac_fwd.html	blob \| history \| raw
-rw-r--r--	3718	tac_generalize.html	blob \| history \| raw
-rw-r--r--	2463	tac_id.html	blob \| history \| raw
-rw-r--r--	3029	tac_intro.html	blob \| history \| raw
-rw-r--r--	3383	tac_intros.html	blob \| history \| raw
-rw-r--r--	3281	tac_inversion.html	blob \| history \| raw
-rw-r--r--	5012	tac_lapply.html	blob \| history \| raw
-rw-r--r--	2880	tac_left.html	blob \| history \| raw
-rw-r--r--	2810	tac_letin.html	blob \| history \| raw
-rw-r--r--	2703	tac_normalize.html	blob \| history \| raw
-rw-r--r--	4038	tac_obtain.html	blob \| history \| raw
-rw-r--r--	2707	tac_reflexivity.html	blob \| history \| raw
-rw-r--r--	3270	tac_replace.html	blob \| history \| raw
-rw-r--r--	3519	tac_rewrite.html	blob \| history \| raw
-rw-r--r--	2888	tac_right.html	blob \| history \| raw
-rw-r--r--	2785	tac_ring.html	blob \| history \| raw
-rw-r--r--	2691	tac_simplify.html	blob \| history \| raw
-rw-r--r--	2896	tac_split.html	blob \| history \| raw
-rw-r--r--	3112	tac_subst.html	blob \| history \| raw
-rw-r--r--	3628	tac_suppose.html	blob \| history \| raw
-rw-r--r--	2663	tac_symmetry.html	blob \| history \| raw
-rw-r--r--	2848	tac_thesisbecomes.html	blob \| history \| raw
-rw-r--r--	3026	tac_transitivity.html	blob \| history \| raw
-rw-r--r--	3147	tac_unfold.html	blob \| history \| raw
-rw-r--r--	3650	tac_weneedtoprove.html	blob \| history \| raw
-rw-r--r--	3307	tac_weproceedbycases.html	blob \| history \| raw
-rw-r--r--	3336	tac_weproceedbyinduction.html	blob \| history \| raw
-rw-r--r--	2748	tac_whd.html	blob \| history \| raw
-rw-r--r--	151	tactic_quickref.xml	blob \| history \| raw
-rw-r--r--	12405	tacticals.html	blob \| history \| raw
-rw-r--r--	18661	tacticargs.html	blob \| history \| raw
-rw-r--r--	13020	tactics_quickref.xml	blob \| history \| raw
-rw-r--r--	6	version.txt	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