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

drwxr-xr-x		..
-rw-r--r--	3606	WrtCoq.html	blob \| history \| raw
-rw-r--r--	6620	authoring.html	blob \| history \| raw
-rw-r--r--	10452	axiom_definition_declaration.html	blob \| history \| raw
-rw-r--r--	4983	cicbrowser.html	blob \| history \| raw
-rw-r--r--	12896	index.html	blob \| history \| raw
-rw-r--r--	6235	proofs.html	blob \| history \| raw
-rw-r--r--	2229	sec_commands.html	blob \| history \| raw
-rw-r--r--	4038	sec_gettingstarted.html	blob \| history \| raw
-rw-r--r--	14344	sec_install.html	blob \| history \| raw
-rw-r--r--	3462	sec_intro.html	blob \| history \| raw
-rw-r--r--	2603	sec_license.html	blob \| history \| raw
-rw-r--r--	2209	sec_tacticals.html	blob \| history \| raw
-rw-r--r--	5991	sec_tactics.html	blob \| history \| raw
-rw-r--r--	18660	sec_terms.html	blob \| history \| raw
-rw-r--r--	2202	sec_usernotation.html	blob \| history \| raw
-rw-r--r--	3098	tac_apply.html	blob \| history \| raw
-rw-r--r--	2386	tac_assumption.html	blob \| history \| raw
-rw-r--r--	3101	tac_auto.html	blob \| history \| raw
-rw-r--r--	2874	tac_change.html	blob \| history \| raw
-rw-r--r--	2513	tac_clear.html	blob \| history \| raw
-rw-r--r--	2498	tac_clearbody.html	blob \| history \| raw
-rw-r--r--	2870	tac_constructor.html	blob \| history \| raw
-rw-r--r--	2439	tac_contradiction.html	blob \| history \| raw
-rw-r--r--	2969	tac_cut.html	blob \| history \| raw
-rw-r--r--	2430	tac_decompose.html	blob \| history \| raw
-rw-r--r--	2924	tac_discriminate.html	blob \| history \| raw
-rw-r--r--	3486	tac_elim.html	blob \| history \| raw
-rw-r--r--	2586	tac_elimType.html	blob \| history \| raw
-rw-r--r--	2508	tac_exact.html	blob \| history \| raw
-rw-r--r--	2585	tac_exists.html	blob \| history \| raw
-rw-r--r--	2206	tac_fail.html	blob \| history \| raw
-rw-r--r--	2853	tac_fold.html	blob \| history \| raw
-rw-r--r--	2554	tac_fourier.html	blob \| history \| raw
-rw-r--r--	2324	tac_fwd.html	blob \| history \| raw
-rw-r--r--	3345	tac_generalize.html	blob \| history \| raw
-rw-r--r--	2236	tac_id.html	blob \| history \| raw
-rw-r--r--	2854	tac_injection.html	blob \| history \| raw
-rw-r--r--	2795	tac_intro.html	blob \| history \| raw
-rw-r--r--	3040	tac_intros.html	blob \| history \| raw
-rw-r--r--	3102	tac_inversion.html	blob \| history \| raw
-rw-r--r--	2509	tac_lapply.html	blob \| history \| raw
-rw-r--r--	2701	tac_left.html	blob \| history \| raw
-rw-r--r--	2473	tac_letin.html	blob \| history \| raw
-rw-r--r--	2404	tac_normalize.html	blob \| history \| raw
-rw-r--r--	2287	tac_paramodulation.html	blob \| history \| raw
-rw-r--r--	2393	tac_reduce.html	blob \| history \| raw
-rw-r--r--	2462	tac_reflexivity.html	blob \| history \| raw
-rw-r--r--	2926	tac_replace.html	blob \| history \| raw
-rw-r--r--	3132	tac_rewrite.html	blob \| history \| raw
-rw-r--r--	2646	tac_right.html	blob \| history \| raw
-rw-r--r--	2508	tac_ring.html	blob \| history \| raw
-rw-r--r--	2320	tac_simplify.html	blob \| history \| raw
-rw-r--r--	2633	tac_split.html	blob \| history \| raw
-rw-r--r--	2362	tac_symmetry.html	blob \| history \| raw
-rw-r--r--	2748	tac_transitivity.html	blob \| history \| raw
-rw-r--r--	2817	tac_unfold.html	blob \| history \| raw
-rw-r--r--	2380	tac_whd.html	blob \| history \| raw