2 "_build/install/default/lib/matita/META"
3 "_build/install/default/lib/matita/dune-package"
4 "_build/install/default/lib/matita/opam"
7 "_build/install/default/bin/matex"
8 "_build/install/default/bin/matita"
9 "_build/install/default/bin/matitac"
10 "_build/install/default/bin/matitaclean"
11 "_build/install/default/bin/matitadep"
12 "_build/install/default/bin/probe"
13 "_build/install/default/bin/xoa"
16 "_build/install/default/share/matita/myshare/AUTHORS" {"matita/myshare/AUTHORS"}
17 "_build/install/default/share/matita/myshare/LICENSE" {"matita/myshare/LICENSE"}
18 "_build/install/default/share/matita/myshare/closed.xml" {"matita/myshare/closed.xml"}
19 "_build/install/default/share/matita/myshare/help/C/declarative_tactics_quickref.xml" {"matita/myshare/help/C/declarative_tactics_quickref.xml"}
20 "_build/install/default/share/matita/myshare/help/C/figures/database.dia" {"matita/myshare/help/C/figures/database.dia"}
21 "_build/install/default/share/matita/myshare/help/C/figures/database.png" {"matita/myshare/help/C/figures/database.png"}
22 "_build/install/default/share/matita/myshare/help/C/figures/matita.png" {"matita/myshare/help/C/figures/matita.png"}
23 "_build/install/default/share/matita/myshare/help/C/figures/vbox1.png" {"matita/myshare/help/C/figures/vbox1.png"}
24 "_build/install/default/share/matita/myshare/help/C/figures/vbox2.png" {"matita/myshare/help/C/figures/vbox2.png"}
25 "_build/install/default/share/matita/myshare/help/C/figures/vbox3.png" {"matita/myshare/help/C/figures/vbox3.png"}
26 "_build/install/default/share/matita/myshare/help/C/figures/vbox35.png" {"matita/myshare/help/C/figures/vbox35.png"}
27 "_build/install/default/share/matita/myshare/help/C/figures/vbox4.png" {"matita/myshare/help/C/figures/vbox4.png"}
28 "_build/install/default/share/matita/myshare/help/C/figures/vbox5.png" {"matita/myshare/help/C/figures/vbox5.png"}
29 "_build/install/default/share/matita/myshare/help/C/figures/vbox6.png" {"matita/myshare/help/C/figures/vbox6.png"}
30 "_build/install/default/share/matita/myshare/help/C/figures/vbox7.png" {"matita/myshare/help/C/figures/vbox7.png"}
31 "_build/install/default/share/matita/myshare/help/C/legal.xml" {"matita/myshare/help/C/legal.xml"}
32 "_build/install/default/share/matita/myshare/help/C/matita.xml" {"matita/myshare/help/C/matita.xml"}
33 "_build/install/default/share/matita/myshare/help/C/sec_commands.xml" {"matita/myshare/help/C/sec_commands.xml"}
34 "_build/install/default/share/matita/myshare/help/C/sec_declarative_tactics.xml" {"matita/myshare/help/C/sec_declarative_tactics.xml"}
35 "_build/install/default/share/matita/myshare/help/C/sec_gettingstarted.xml" {"matita/myshare/help/C/sec_gettingstarted.xml"}
36 "_build/install/default/share/matita/myshare/help/C/sec_install.xml" {"matita/myshare/help/C/sec_install.xml"}
37 "_build/install/default/share/matita/myshare/help/C/sec_intro.xml" {"matita/myshare/help/C/sec_intro.xml"}
38 "_build/install/default/share/matita/myshare/help/C/sec_license.xml" {"matita/myshare/help/C/sec_license.xml"}
39 "_build/install/default/share/matita/myshare/help/C/sec_tacticals.xml" {"matita/myshare/help/C/sec_tacticals.xml"}
40 "_build/install/default/share/matita/myshare/help/C/sec_tactics.xml" {"matita/myshare/help/C/sec_tactics.xml"}
41 "_build/install/default/share/matita/myshare/help/C/sec_terms.xml" {"matita/myshare/help/C/sec_terms.xml"}
42 "_build/install/default/share/matita/myshare/help/C/sec_usernotation.xml" {"matita/myshare/help/C/sec_usernotation.xml"}
43 "_build/install/default/share/matita/myshare/help/C/tactic_quickref.xml" {"matita/myshare/help/C/tactic_quickref.xml"}
44 "_build/install/default/share/matita/myshare/help/C/tactics_quickref.xml" {"matita/myshare/help/C/tactics_quickref.xml"}
45 "_build/install/default/share/matita/myshare/icons/matita-32.xpm" {"matita/myshare/icons/matita-32.xpm"}
46 "_build/install/default/share/matita/myshare/icons/matita-bulb-high.png" {"matita/myshare/icons/matita-bulb-high.png"}
47 "_build/install/default/share/matita/myshare/icons/matita-bulb-low.png" {"matita/myshare/icons/matita-bulb-low.png"}
48 "_build/install/default/share/matita/myshare/icons/matita-bulb-medium.png" {"matita/myshare/icons/matita-bulb-medium.png"}
49 "_build/install/default/share/matita/myshare/icons/matita-folder.png" {"matita/myshare/icons/matita-folder.png"}
50 "_build/install/default/share/matita/myshare/icons/matita-object.png" {"matita/myshare/icons/matita-object.png"}
51 "_build/install/default/share/matita/myshare/icons/matita-theory.png" {"matita/myshare/icons/matita-theory.png"}
52 "_build/install/default/share/matita/myshare/icons/matita.png" {"matita/myshare/icons/matita.png"}
53 "_build/install/default/share/matita/myshare/icons/matita_medium.png" {"matita/myshare/icons/matita_medium.png"}
54 "_build/install/default/share/matita/myshare/icons/matita_small.png" {"matita/myshare/icons/matita_small.png"}
55 "_build/install/default/share/matita/myshare/icons/matita_very_small.png" {"matita/myshare/icons/matita_very_small.png"}
56 "_build/install/default/share/matita/myshare/icons/meegg.png" {"matita/myshare/icons/meegg.png"}
57 "_build/install/default/share/matita/myshare/icons/whelp.png" {"matita/myshare/icons/whelp.png"}
58 "_build/install/default/share/matita/myshare/icons/whelp.svg" {"matita/myshare/icons/whelp.svg"}
59 "_build/install/default/share/matita/myshare/lib/MONADS/speranza.ma" {"matita/myshare/lib/MONADS/speranza.ma"}
60 "_build/install/default/share/matita/myshare/lib/MONADS/speranza2.ma" {"matita/myshare/lib/MONADS/speranza2.ma"}
61 "_build/install/default/share/matita/myshare/lib/Makefile" {"matita/myshare/lib/Makefile"}
62 "_build/install/default/share/matita/myshare/lib/arithmetics/bigops.ma" {"matita/myshare/lib/arithmetics/bigops.ma"}
63 "_build/install/default/share/matita/myshare/lib/arithmetics/binomial.ma" {"matita/myshare/lib/arithmetics/binomial.ma"}
64 "_build/install/default/share/matita/myshare/lib/arithmetics/bounded_quantifiers.ma" {"matita/myshare/lib/arithmetics/bounded_quantifiers.ma"}
65 "_build/install/default/share/matita/myshare/lib/arithmetics/chebyshev/bertrand.ma" {"matita/myshare/lib/arithmetics/chebyshev/bertrand.ma"}
66 "_build/install/default/share/matita/myshare/lib/arithmetics/chebyshev/bertrand256.ma" {"matita/myshare/lib/arithmetics/chebyshev/bertrand256.ma"}
67 "_build/install/default/share/matita/myshare/lib/arithmetics/chebyshev/chebyshev_psi.ma" {"matita/myshare/lib/arithmetics/chebyshev/chebyshev_psi.ma"}
68 "_build/install/default/share/matita/myshare/lib/arithmetics/chebyshev/chebyshev_theta.ma" {"matita/myshare/lib/arithmetics/chebyshev/chebyshev_theta.ma"}
69 "_build/install/default/share/matita/myshare/lib/arithmetics/chebyshev/factorization.ma" {"matita/myshare/lib/arithmetics/chebyshev/factorization.ma"}
70 "_build/install/default/share/matita/myshare/lib/arithmetics/chebyshev/psi_bounds.ma" {"matita/myshare/lib/arithmetics/chebyshev/psi_bounds.ma"}
71 "_build/install/default/share/matita/myshare/lib/arithmetics/chinese_reminder.ma" {"matita/myshare/lib/arithmetics/chinese_reminder.ma"}
72 "_build/install/default/share/matita/myshare/lib/arithmetics/congruence.ma" {"matita/myshare/lib/arithmetics/congruence.ma"}
73 "_build/install/default/share/matita/myshare/lib/arithmetics/div_and_mod.ma" {"matita/myshare/lib/arithmetics/div_and_mod.ma"}
74 "_build/install/default/share/matita/myshare/lib/arithmetics/exp.ma" {"matita/myshare/lib/arithmetics/exp.ma"}
75 "_build/install/default/share/matita/myshare/lib/arithmetics/factorial.ma" {"matita/myshare/lib/arithmetics/factorial.ma"}
76 "_build/install/default/share/matita/myshare/lib/arithmetics/fermat_little_theorem.ma" {"matita/myshare/lib/arithmetics/fermat_little_theorem.ma"}
77 "_build/install/default/share/matita/myshare/lib/arithmetics/gcd.ma" {"matita/myshare/lib/arithmetics/gcd.ma"}
78 "_build/install/default/share/matita/myshare/lib/arithmetics/iteration.ma" {"matita/myshare/lib/arithmetics/iteration.ma"}
79 "_build/install/default/share/matita/myshare/lib/arithmetics/log.ma" {"matita/myshare/lib/arithmetics/log.ma"}
80 "_build/install/default/share/matita/myshare/lib/arithmetics/lstar.ma" {"matita/myshare/lib/arithmetics/lstar.ma"}
81 "_build/install/default/share/matita/myshare/lib/arithmetics/minimization.ma" {"matita/myshare/lib/arithmetics/minimization.ma"}
82 "_build/install/default/share/matita/myshare/lib/arithmetics/nat.ma" {"matita/myshare/lib/arithmetics/nat.ma"}
83 "_build/install/default/share/matita/myshare/lib/arithmetics/nat_commented.ma" {"matita/myshare/lib/arithmetics/nat_commented.ma"}
84 "_build/install/default/share/matita/myshare/lib/arithmetics/nth_prime.ma" {"matita/myshare/lib/arithmetics/nth_prime.ma"}
85 "_build/install/default/share/matita/myshare/lib/arithmetics/ord.ma" {"matita/myshare/lib/arithmetics/ord.ma"}
86 "_build/install/default/share/matita/myshare/lib/arithmetics/permutation.ma" {"matita/myshare/lib/arithmetics/permutation.ma"}
87 "_build/install/default/share/matita/myshare/lib/arithmetics/pidgeon_hole.ma" {"matita/myshare/lib/arithmetics/pidgeon_hole.ma"}
88 "_build/install/default/share/matita/myshare/lib/arithmetics/primes.ma" {"matita/myshare/lib/arithmetics/primes.ma"}
89 "_build/install/default/share/matita/myshare/lib/arithmetics/sigma_pi.ma" {"matita/myshare/lib/arithmetics/sigma_pi.ma"}
90 "_build/install/default/share/matita/myshare/lib/arithmetics/sqrt.ma" {"matita/myshare/lib/arithmetics/sqrt.ma"}
91 "_build/install/default/share/matita/myshare/lib/basics/bool.ma" {"matita/myshare/lib/basics/bool.ma"}
92 "_build/install/default/share/matita/myshare/lib/basics/core_notation.ma" {"matita/myshare/lib/basics/core_notation.ma"}
93 "_build/install/default/share/matita/myshare/lib/basics/core_notation/apart_2.ma" {"matita/myshare/lib/basics/core_notation/apart_2.ma"}
94 "_build/install/default/share/matita/myshare/lib/basics/core_notation/card_1.ma" {"matita/myshare/lib/basics/core_notation/card_1.ma"}
95 "_build/install/default/share/matita/myshare/lib/basics/core_notation/compose_2.ma" {"matita/myshare/lib/basics/core_notation/compose_2.ma"}
96 "_build/install/default/share/matita/myshare/lib/basics/core_notation/comprehension_2.ma" {"matita/myshare/lib/basics/core_notation/comprehension_2.ma"}
97 "_build/install/default/share/matita/myshare/lib/basics/core_notation/downarrow_1.ma" {"matita/myshare/lib/basics/core_notation/downarrow_1.ma"}
98 "_build/install/default/share/matita/myshare/lib/basics/core_notation/exp_2.ma" {"matita/myshare/lib/basics/core_notation/exp_2.ma"}
99 "_build/install/default/share/matita/myshare/lib/basics/core_notation/fact_1.ma" {"matita/myshare/lib/basics/core_notation/fact_1.ma"}
100 "_build/install/default/share/matita/myshare/lib/basics/core_notation/fintersects_2.ma" {"matita/myshare/lib/basics/core_notation/fintersects_2.ma"}
101 "_build/install/default/share/matita/myshare/lib/basics/core_notation/funion_2.ma" {"matita/myshare/lib/basics/core_notation/funion_2.ma"}
102 "_build/install/default/share/matita/myshare/lib/basics/core_notation/invert_1.ma" {"matita/myshare/lib/basics/core_notation/invert_1.ma"}
103 "_build/install/default/share/matita/myshare/lib/basics/core_notation/invert_appl_2.ma" {"matita/myshare/lib/basics/core_notation/invert_appl_2.ma"}
104 "_build/install/default/share/matita/myshare/lib/basics/core_notation/napart_2.ma" {"matita/myshare/lib/basics/core_notation/napart_2.ma"}
105 "_build/install/default/share/matita/myshare/lib/basics/core_notation/overlaps_2.ma" {"matita/myshare/lib/basics/core_notation/overlaps_2.ma"}
106 "_build/install/default/share/matita/myshare/lib/basics/core_notation/pair_2.ma" {"matita/myshare/lib/basics/core_notation/pair_2.ma"}
107 "_build/install/default/share/matita/myshare/lib/basics/core_notation/singl_1.ma" {"matita/myshare/lib/basics/core_notation/singl_1.ma"}
108 "_build/install/default/share/matita/myshare/lib/basics/core_notation/subset_1.ma" {"matita/myshare/lib/basics/core_notation/subset_1.ma"}
109 "_build/install/default/share/matita/myshare/lib/basics/core_notation/subseteq_2.ma" {"matita/myshare/lib/basics/core_notation/subseteq_2.ma"}
110 "_build/install/default/share/matita/myshare/lib/basics/core_notation/uparrow_1.ma" {"matita/myshare/lib/basics/core_notation/uparrow_1.ma"}
111 "_build/install/default/share/matita/myshare/lib/basics/deqlist.ma" {"matita/myshare/lib/basics/deqlist.ma"}
112 "_build/install/default/share/matita/myshare/lib/basics/deqsets.ma" {"matita/myshare/lib/basics/deqsets.ma"}
113 "_build/install/default/share/matita/myshare/lib/basics/finset.ma" {"matita/myshare/lib/basics/finset.ma"}
114 "_build/install/default/share/matita/myshare/lib/basics/jmeq.ma" {"matita/myshare/lib/basics/jmeq.ma"}
115 "_build/install/default/share/matita/myshare/lib/basics/lists/list.ma" {"matita/myshare/lib/basics/lists/list.ma"}
116 "_build/install/default/share/matita/myshare/lib/basics/lists/listb.ma" {"matita/myshare/lib/basics/lists/listb.ma"}
117 "_build/install/default/share/matita/myshare/lib/basics/lists/lstar.ma" {"matita/myshare/lib/basics/lists/lstar.ma"}
118 "_build/install/default/share/matita/myshare/lib/basics/logic.ma" {"matita/myshare/lib/basics/logic.ma"}
119 "_build/install/default/share/matita/myshare/lib/basics/pts.ma" {"matita/myshare/lib/basics/pts.ma"}
120 "_build/install/default/share/matita/myshare/lib/basics/relations.ma" {"matita/myshare/lib/basics/relations.ma"}
121 "_build/install/default/share/matita/myshare/lib/basics/russell.ma" {"matita/myshare/lib/basics/russell.ma"}
122 "_build/install/default/share/matita/myshare/lib/basics/sets.ma" {"matita/myshare/lib/basics/sets.ma"}
123 "_build/install/default/share/matita/myshare/lib/basics/star.ma" {"matita/myshare/lib/basics/star.ma"}
124 "_build/install/default/share/matita/myshare/lib/basics/star1.ma" {"matita/myshare/lib/basics/star1.ma"}
125 "_build/install/default/share/matita/myshare/lib/basics/types.ma" {"matita/myshare/lib/basics/types.ma"}
126 "_build/install/default/share/matita/myshare/lib/basics/vector_finset.ma" {"matita/myshare/lib/basics/vector_finset.ma"}
127 "_build/install/default/share/matita/myshare/lib/basics/vectors.ma" {"matita/myshare/lib/basics/vectors.ma"}
128 "_build/install/default/share/matita/myshare/lib/didactic/natural_deduction.ma" {"matita/myshare/lib/didactic/natural_deduction.ma"}
129 "_build/install/default/share/matita/myshare/lib/extraction.ma" {"matita/myshare/lib/extraction.ma"}
130 "_build/install/default/share/matita/myshare/lib/fail.txt" {"matita/myshare/lib/fail.txt"}
131 "_build/install/default/share/matita/myshare/lib/finite_lambda/confluence.ma" {"matita/myshare/lib/finite_lambda/confluence.ma"}
132 "_build/install/default/share/matita/myshare/lib/finite_lambda/reduction.ma" {"matita/myshare/lib/finite_lambda/reduction.ma"}
133 "_build/install/default/share/matita/myshare/lib/finite_lambda/terms_and_types.ma" {"matita/myshare/lib/finite_lambda/terms_and_types.ma"}
134 "_build/install/default/share/matita/myshare/lib/finite_lambda/typing.ma" {"matita/myshare/lib/finite_lambda/typing.ma"}
135 "_build/install/default/share/matita/myshare/lib/formal_topology/apply_functor.ma" {"matita/myshare/lib/formal_topology/apply_functor.ma"}
136 "_build/install/default/share/matita/myshare/lib/formal_topology/basic_pairs.ma" {"matita/myshare/lib/formal_topology/basic_pairs.ma"}
137 "_build/install/default/share/matita/myshare/lib/formal_topology/basic_pairs_to_basic_topologies.ma" {"matita/myshare/lib/formal_topology/basic_pairs_to_basic_topologies.ma"}
138 "_build/install/default/share/matita/myshare/lib/formal_topology/basic_pairs_to_o-basic_pairs.ma" {"matita/myshare/lib/formal_topology/basic_pairs_to_o-basic_pairs.ma"}
139 "_build/install/default/share/matita/myshare/lib/formal_topology/basic_topologies.ma" {"matita/myshare/lib/formal_topology/basic_topologies.ma"}
140 "_build/install/default/share/matita/myshare/lib/formal_topology/basic_topologies_to_o-basic_topologies.ma" {"matita/myshare/lib/formal_topology/basic_topologies_to_o-basic_topologies.ma"}
141 "_build/install/default/share/matita/myshare/lib/formal_topology/categories.ma" {"matita/myshare/lib/formal_topology/categories.ma"}
142 "_build/install/default/share/matita/myshare/lib/formal_topology/concrete_spaces.ma" {"matita/myshare/lib/formal_topology/concrete_spaces.ma"}
143 "_build/install/default/share/matita/myshare/lib/formal_topology/concrete_spaces_to_o-concrete_spaces.ma" {"matita/myshare/lib/formal_topology/concrete_spaces_to_o-concrete_spaces.ma"}
144 "_build/install/default/share/matita/myshare/lib/formal_topology/cprop_connectives.ma" {"matita/myshare/lib/formal_topology/cprop_connectives.ma"}
145 "_build/install/default/share/matita/myshare/lib/formal_topology/formal_topologies.ma" {"matita/myshare/lib/formal_topology/formal_topologies.ma"}
146 "_build/install/default/share/matita/myshare/lib/formal_topology/notation.ma" {"matita/myshare/lib/formal_topology/notation.ma"}
147 "_build/install/default/share/matita/myshare/lib/formal_topology/o-algebra.ma" {"matita/myshare/lib/formal_topology/o-algebra.ma"}
148 "_build/install/default/share/matita/myshare/lib/formal_topology/o-basic_pairs.ma" {"matita/myshare/lib/formal_topology/o-basic_pairs.ma"}
149 "_build/install/default/share/matita/myshare/lib/formal_topology/o-basic_pairs_to_o-basic_topologies.ma" {"matita/myshare/lib/formal_topology/o-basic_pairs_to_o-basic_topologies.ma"}
150 "_build/install/default/share/matita/myshare/lib/formal_topology/o-basic_topologies.ma" {"matita/myshare/lib/formal_topology/o-basic_topologies.ma"}
151 "_build/install/default/share/matita/myshare/lib/formal_topology/o-concrete_spaces.ma" {"matita/myshare/lib/formal_topology/o-concrete_spaces.ma"}
152 "_build/install/default/share/matita/myshare/lib/formal_topology/o-formal_topologies.ma" {"matita/myshare/lib/formal_topology/o-formal_topologies.ma"}
153 "_build/install/default/share/matita/myshare/lib/formal_topology/o-saturations.ma" {"matita/myshare/lib/formal_topology/o-saturations.ma"}
154 "_build/install/default/share/matita/myshare/lib/formal_topology/r-o-basic_pairs.ma" {"matita/myshare/lib/formal_topology/r-o-basic_pairs.ma"}
155 "_build/install/default/share/matita/myshare/lib/formal_topology/relations.ma" {"matita/myshare/lib/formal_topology/relations.ma"}
156 "_build/install/default/share/matita/myshare/lib/formal_topology/relations_to_o-algebra.ma" {"matita/myshare/lib/formal_topology/relations_to_o-algebra.ma"}
157 "_build/install/default/share/matita/myshare/lib/formal_topology/replace.sh" {"matita/myshare/lib/formal_topology/replace.sh"}
158 "_build/install/default/share/matita/myshare/lib/formal_topology/saturations.ma" {"matita/myshare/lib/formal_topology/saturations.ma"}
159 "_build/install/default/share/matita/myshare/lib/formal_topology/saturations_to_o-saturations.ma" {"matita/myshare/lib/formal_topology/saturations_to_o-saturations.ma"}
160 "_build/install/default/share/matita/myshare/lib/formal_topology/subsets.ma" {"matita/myshare/lib/formal_topology/subsets.ma"}
161 "_build/install/default/share/matita/myshare/lib/hints_declaration.ma" {"matita/myshare/lib/hints_declaration.ma"}
162 "_build/install/default/share/matita/myshare/lib/hott/Overture.ma" {"matita/myshare/lib/hott/Overture.ma"}
163 "_build/install/default/share/matita/myshare/lib/hott/PathGroupoids.ma" {"matita/myshare/lib/hott/PathGroupoids.ma"}
164 "_build/install/default/share/matita/myshare/lib/hott/notations.ma" {"matita/myshare/lib/hott/notations.ma"}
165 "_build/install/default/share/matita/myshare/lib/hott/pts.ma" {"matita/myshare/lib/hott/pts.ma"}
166 "_build/install/default/share/matita/myshare/lib/hott/types.ma" {"matita/myshare/lib/hott/types.ma"}
167 "_build/install/default/share/matita/myshare/lib/inconsistent.ma" {"matita/myshare/lib/inconsistent.ma"}
168 "_build/install/default/share/matita/myshare/lib/lambda/Makefile" {"matita/myshare/lib/lambda/Makefile"}
169 "_build/install/default/share/matita/myshare/lib/lambda/background/preamble.ma" {"matita/myshare/lib/lambda/background/preamble.ma"}
170 "_build/install/default/share/matita/myshare/lib/lambda/etc/cons_r.etc" {"matita/myshare/lib/lambda/etc/cons_r.etc"}
171 "_build/install/default/share/matita/myshare/lib/lambda/levels/interpretations.ma" {"matita/myshare/lib/lambda/levels/interpretations.ma"}
172 "_build/install/default/share/matita/myshare/lib/lambda/levels/iterated_abstraction.ma" {"matita/myshare/lib/lambda/levels/iterated_abstraction.ma"}
173 "_build/install/default/share/matita/myshare/lib/lambda/levels/term.ma" {"matita/myshare/lib/lambda/levels/term.ma"}
174 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/abstraction_1.ma" {"matita/myshare/lib/lambda/notation/functions/abstraction_1.ma"}
175 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/abstraction_2.ma" {"matita/myshare/lib/lambda/notation/functions/abstraction_2.ma"}
176 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/annotatedabstraction_2.ma" {"matita/myshare/lib/lambda/notation/functions/annotatedabstraction_2.ma"}
177 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/application_2.ma" {"matita/myshare/lib/lambda/notation/functions/application_2.ma"}
178 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/application_3.ma" {"matita/myshare/lib/lambda/notation/functions/application_3.ma"}
179 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/backward_1.ma" {"matita/myshare/lib/lambda/notation/functions/backward_1.ma"}
180 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/backward_3.ma" {"matita/myshare/lib/lambda/notation/functions/backward_3.ma"}
181 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/dsubst_3.ma" {"matita/myshare/lib/lambda/notation/functions/dsubst_3.ma"}
182 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/forward_1.ma" {"matita/myshare/lib/lambda/notation/functions/forward_1.ma"}
183 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/forward_3.ma" {"matita/myshare/lib/lambda/notation/functions/forward_3.ma"}
184 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/hocons_2.ma" {"matita/myshare/lib/lambda/notation/functions/hocons_2.ma"}
185 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/lift_3.ma" {"matita/myshare/lib/lambda/notation/functions/lift_3.ma"}
186 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/multiplicity_1.ma" {"matita/myshare/lib/lambda/notation/functions/multiplicity_1.ma"}
187 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/nil_0.ma" {"matita/myshare/lib/lambda/notation/functions/nil_0.ma"}
188 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/projectdown_1.ma" {"matita/myshare/lib/lambda/notation/functions/projectdown_1.ma"}
189 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/projectsame_2.ma" {"matita/myshare/lib/lambda/notation/functions/projectsame_2.ma"}
190 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/projectup_2.ma" {"matita/myshare/lib/lambda/notation/functions/projectup_2.ma"}
191 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/variablereferencebyindex_1.ma" {"matita/myshare/lib/lambda/notation/functions/variablereferencebyindex_1.ma"}
192 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/variablereferencebyindex_2.ma" {"matita/myshare/lib/lambda/notation/functions/variablereferencebyindex_2.ma"}
193 "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/variablereferencebylevel_2.ma" {"matita/myshare/lib/lambda/notation/functions/variablereferencebylevel_2.ma"}
194 "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/decomposedstd_2.ma" {"matita/myshare/lib/lambda/notation/relations/decomposedstd_2.ma"}
195 "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/parred_2.ma" {"matita/myshare/lib/lambda/notation/relations/parred_2.ma"}
196 "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/parredstar_2.ma" {"matita/myshare/lib/lambda/notation/relations/parredstar_2.ma"}
197 "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/prec_2.ma" {"matita/myshare/lib/lambda/notation/relations/prec_2.ma"}
198 "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/seqred_2.ma" {"matita/myshare/lib/lambda/notation/relations/seqred_2.ma"}
199 "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/seqred_3.ma" {"matita/myshare/lib/lambda/notation/relations/seqred_3.ma"}
200 "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/seqredstar_2.ma" {"matita/myshare/lib/lambda/notation/relations/seqredstar_2.ma"}
201 "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/seqredstar_3.ma" {"matita/myshare/lib/lambda/notation/relations/seqredstar_3.ma"}
202 "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/std_3.ma" {"matita/myshare/lib/lambda/notation/relations/std_3.ma"}
203 "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/stdstar_3.ma" {"matita/myshare/lib/lambda/notation/relations/stdstar_3.ma"}
204 "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_1_2.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_1_2.ma"}
205 "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_2_2.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_2_2.ma"}
206 "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_2_3.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_2_3.ma"}
207 "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_3_1.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_3_1.ma"}
208 "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_3_2.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_3_2.ma"}
209 "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_3_3.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_3_3.ma"}
210 "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_3_4.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_3_4.ma"}
211 "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_4_1.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_4_1.ma"}
212 "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_4_2.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_4_2.ma"}
213 "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_4_3.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_4_3.ma"}
214 "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/false_0.ma" {"matita/myshare/lib/lambda/notation/xoa/false_0.ma"}
215 "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/or_3.ma" {"matita/myshare/lib/lambda/notation/xoa/or_3.ma"}
216 "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/true_0.ma" {"matita/myshare/lib/lambda/notation/xoa/true_0.ma"}
217 "_build/install/default/share/matita/myshare/lib/lambda/paths/alternative_standard_order.ma" {"matita/myshare/lib/lambda/paths/alternative_standard_order.ma"}
218 "_build/install/default/share/matita/myshare/lib/lambda/paths/decomposed_trace.ma" {"matita/myshare/lib/lambda/paths/decomposed_trace.ma"}
219 "_build/install/default/share/matita/myshare/lib/lambda/paths/dst_computation.ma" {"matita/myshare/lib/lambda/paths/dst_computation.ma"}
220 "_build/install/default/share/matita/myshare/lib/lambda/paths/labeled_sequential_computation.ma" {"matita/myshare/lib/lambda/paths/labeled_sequential_computation.ma"}
221 "_build/install/default/share/matita/myshare/lib/lambda/paths/labeled_sequential_reduction.ma" {"matita/myshare/lib/lambda/paths/labeled_sequential_reduction.ma"}
222 "_build/install/default/share/matita/myshare/lib/lambda/paths/labeled_st_computation.ma" {"matita/myshare/lib/lambda/paths/labeled_st_computation.ma"}
223 "_build/install/default/share/matita/myshare/lib/lambda/paths/labeled_st_reduction.ma" {"matita/myshare/lib/lambda/paths/labeled_st_reduction.ma"}
224 "_build/install/default/share/matita/myshare/lib/lambda/paths/path.ma" {"matita/myshare/lib/lambda/paths/path.ma"}
225 "_build/install/default/share/matita/myshare/lib/lambda/paths/standard_order.ma" {"matita/myshare/lib/lambda/paths/standard_order.ma"}
226 "_build/install/default/share/matita/myshare/lib/lambda/paths/standard_precedence.ma" {"matita/myshare/lib/lambda/paths/standard_precedence.ma"}
227 "_build/install/default/share/matita/myshare/lib/lambda/paths/standard_trace.ma" {"matita/myshare/lib/lambda/paths/standard_trace.ma"}
228 "_build/install/default/share/matita/myshare/lib/lambda/paths/trace.ma" {"matita/myshare/lib/lambda/paths/trace.ma"}
229 "_build/install/default/share/matita/myshare/lib/lambda/policy.txt" {"matita/myshare/lib/lambda/policy.txt"}
230 "_build/install/default/share/matita/myshare/lib/lambda/replace.sh" {"matita/myshare/lib/lambda/replace.sh"}
231 "_build/install/default/share/matita/myshare/lib/lambda/subterms/boolean.ma" {"matita/myshare/lib/lambda/subterms/boolean.ma"}
232 "_build/install/default/share/matita/myshare/lib/lambda/subterms/booleanized.ma" {"matita/myshare/lib/lambda/subterms/booleanized.ma"}
233 "_build/install/default/share/matita/myshare/lib/lambda/subterms/carrier.ma" {"matita/myshare/lib/lambda/subterms/carrier.ma"}
234 "_build/install/default/share/matita/myshare/lib/lambda/subterms/relocating_substitution.ma" {"matita/myshare/lib/lambda/subterms/relocating_substitution.ma"}
235 "_build/install/default/share/matita/myshare/lib/lambda/subterms/relocation.ma" {"matita/myshare/lib/lambda/subterms/relocation.ma"}
236 "_build/install/default/share/matita/myshare/lib/lambda/subterms/subterms.ma" {"matita/myshare/lib/lambda/subterms/subterms.ma"}
237 "_build/install/default/share/matita/myshare/lib/lambda/terms/iterated_abstraction.ma" {"matita/myshare/lib/lambda/terms/iterated_abstraction.ma"}
238 "_build/install/default/share/matita/myshare/lib/lambda/terms/labeled_sequential_computation.ma" {"matita/myshare/lib/lambda/terms/labeled_sequential_computation.ma"}
239 "_build/install/default/share/matita/myshare/lib/lambda/terms/multiplicity.ma" {"matita/myshare/lib/lambda/terms/multiplicity.ma"}
240 "_build/install/default/share/matita/myshare/lib/lambda/terms/parallel_computation.ma" {"matita/myshare/lib/lambda/terms/parallel_computation.ma"}
241 "_build/install/default/share/matita/myshare/lib/lambda/terms/parallel_reduction.ma" {"matita/myshare/lib/lambda/terms/parallel_reduction.ma"}
242 "_build/install/default/share/matita/myshare/lib/lambda/terms/relocating_substitution.ma" {"matita/myshare/lib/lambda/terms/relocating_substitution.ma"}
243 "_build/install/default/share/matita/myshare/lib/lambda/terms/relocation.ma" {"matita/myshare/lib/lambda/terms/relocation.ma"}
244 "_build/install/default/share/matita/myshare/lib/lambda/terms/sequential_computation.ma" {"matita/myshare/lib/lambda/terms/sequential_computation.ma"}
245 "_build/install/default/share/matita/myshare/lib/lambda/terms/sequential_reduction.ma" {"matita/myshare/lib/lambda/terms/sequential_reduction.ma"}
246 "_build/install/default/share/matita/myshare/lib/lambda/terms/size.ma" {"matita/myshare/lib/lambda/terms/size.ma"}
247 "_build/install/default/share/matita/myshare/lib/lambda/terms/supercombinator.ma" {"matita/myshare/lib/lambda/terms/supercombinator.ma"}
248 "_build/install/default/share/matita/myshare/lib/lambda/terms/term.ma" {"matita/myshare/lib/lambda/terms/term.ma"}
249 "_build/install/default/share/matita/myshare/lib/lambda/xoa.conf.xml" {"matita/myshare/lib/lambda/xoa.conf.xml"}
250 "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_1_2.ma" {"matita/myshare/lib/lambda/xoa/ex_1_2.ma"}
251 "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_2_2.ma" {"matita/myshare/lib/lambda/xoa/ex_2_2.ma"}
252 "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_2_3.ma" {"matita/myshare/lib/lambda/xoa/ex_2_3.ma"}
253 "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_3_1.ma" {"matita/myshare/lib/lambda/xoa/ex_3_1.ma"}
254 "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_3_2.ma" {"matita/myshare/lib/lambda/xoa/ex_3_2.ma"}
255 "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_3_3.ma" {"matita/myshare/lib/lambda/xoa/ex_3_3.ma"}
256 "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_3_4.ma" {"matita/myshare/lib/lambda/xoa/ex_3_4.ma"}
257 "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_4_1.ma" {"matita/myshare/lib/lambda/xoa/ex_4_1.ma"}
258 "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_4_2.ma" {"matita/myshare/lib/lambda/xoa/ex_4_2.ma"}
259 "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_4_3.ma" {"matita/myshare/lib/lambda/xoa/ex_4_3.ma"}
260 "_build/install/default/share/matita/myshare/lib/lambda/xoa/or_3.ma" {"matita/myshare/lib/lambda/xoa/or_3.ma"}
261 "_build/install/default/share/matita/myshare/lib/preamble.hs" {"matita/myshare/lib/preamble.hs"}
262 "_build/install/default/share/matita/myshare/lib/preamble.ml" {"matita/myshare/lib/preamble.ml"}
263 "_build/install/default/share/matita/myshare/lib/pts_dummy/CC2FO_K.ma" {"matita/myshare/lib/pts_dummy/CC2FO_K.ma"}
264 "_build/install/default/share/matita/myshare/lib/pts_dummy/CC2FO_K_cube.ma" {"matita/myshare/lib/pts_dummy/CC2FO_K_cube.ma"}
265 "_build/install/default/share/matita/myshare/lib/pts_dummy/arity.ma" {"matita/myshare/lib/pts_dummy/arity.ma"}
266 "_build/install/default/share/matita/myshare/lib/pts_dummy/arity_eval.ma" {"matita/myshare/lib/pts_dummy/arity_eval.ma"}
267 "_build/install/default/share/matita/myshare/lib/pts_dummy/convertibility.ma" {"matita/myshare/lib/pts_dummy/convertibility.ma"}
268 "_build/install/default/share/matita/myshare/lib/pts_dummy/cube.ma" {"matita/myshare/lib/pts_dummy/cube.ma"}
269 "_build/install/default/share/matita/myshare/lib/pts_dummy/degree.ma" {"matita/myshare/lib/pts_dummy/degree.ma"}
270 "_build/install/default/share/matita/myshare/lib/pts_dummy/ext.ma" {"matita/myshare/lib/pts_dummy/ext.ma"}
271 "_build/install/default/share/matita/myshare/lib/pts_dummy/ext_lambda.ma" {"matita/myshare/lib/pts_dummy/ext_lambda.ma"}
272 "_build/install/default/share/matita/myshare/lib/pts_dummy/inversion.ma" {"matita/myshare/lib/pts_dummy/inversion.ma"}
273 "_build/install/default/share/matita/myshare/lib/pts_dummy/lambda_notation.ma" {"matita/myshare/lib/pts_dummy/lambda_notation.ma"}
274 "_build/install/default/share/matita/myshare/lib/pts_dummy/lift.ma" {"matita/myshare/lib/pts_dummy/lift.ma"}
275 "_build/install/default/share/matita/myshare/lib/pts_dummy/par_reduction.ma" {"matita/myshare/lib/pts_dummy/par_reduction.ma"}
276 "_build/install/default/share/matita/myshare/lib/pts_dummy/rc_eval.ma" {"matita/myshare/lib/pts_dummy/rc_eval.ma"}
277 "_build/install/default/share/matita/myshare/lib/pts_dummy/rc_hsat.ma" {"matita/myshare/lib/pts_dummy/rc_hsat.ma"}
278 "_build/install/default/share/matita/myshare/lib/pts_dummy/rc_sat.ma" {"matita/myshare/lib/pts_dummy/rc_sat.ma"}
279 "_build/install/default/share/matita/myshare/lib/pts_dummy/reduction.ma" {"matita/myshare/lib/pts_dummy/reduction.ma"}
280 "_build/install/default/share/matita/myshare/lib/pts_dummy/sn.ma" {"matita/myshare/lib/pts_dummy/sn.ma"}
281 "_build/install/default/share/matita/myshare/lib/pts_dummy/subject.ma" {"matita/myshare/lib/pts_dummy/subject.ma"}
282 "_build/install/default/share/matita/myshare/lib/pts_dummy/subst.ma" {"matita/myshare/lib/pts_dummy/subst.ma"}
283 "_build/install/default/share/matita/myshare/lib/pts_dummy/subterms.ma" {"matita/myshare/lib/pts_dummy/subterms.ma"}
284 "_build/install/default/share/matita/myshare/lib/pts_dummy/terms.ma" {"matita/myshare/lib/pts_dummy/terms.ma"}
285 "_build/install/default/share/matita/myshare/lib/pts_dummy/types.ma" {"matita/myshare/lib/pts_dummy/types.ma"}
286 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/arity.ma" {"matita/myshare/lib/pts_dummy_new/arity.ma"}
287 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/arity_eval.ma" {"matita/myshare/lib/pts_dummy_new/arity_eval.ma"}
288 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/convertibility.ma" {"matita/myshare/lib/pts_dummy_new/convertibility.ma"}
289 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/cube.ma" {"matita/myshare/lib/pts_dummy_new/cube.ma"}
290 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/ext.ma" {"matita/myshare/lib/pts_dummy_new/ext.ma"}
291 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/ext_lambda.ma" {"matita/myshare/lib/pts_dummy_new/ext_lambda.ma"}
292 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/inversion.ma" {"matita/myshare/lib/pts_dummy_new/inversion.ma"}
293 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/lambda_notation.ma" {"matita/myshare/lib/pts_dummy_new/lambda_notation.ma"}
294 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/par_reduction.ma" {"matita/myshare/lib/pts_dummy_new/par_reduction.ma"}
295 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/rc_eval.ma" {"matita/myshare/lib/pts_dummy_new/rc_eval.ma"}
296 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/rc_hsat.ma" {"matita/myshare/lib/pts_dummy_new/rc_hsat.ma"}
297 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/rc_sat.ma" {"matita/myshare/lib/pts_dummy_new/rc_sat.ma"}
298 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/reduction.ma" {"matita/myshare/lib/pts_dummy_new/reduction.ma"}
299 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/sn.ma" {"matita/myshare/lib/pts_dummy_new/sn.ma"}
300 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/subject.ma" {"matita/myshare/lib/pts_dummy_new/subject.ma"}
301 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/subst.ma" {"matita/myshare/lib/pts_dummy_new/subst.ma"}
302 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/subterms.ma" {"matita/myshare/lib/pts_dummy_new/subterms.ma"}
303 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/terms.ma" {"matita/myshare/lib/pts_dummy_new/terms.ma"}
304 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/thinning.ma" {"matita/myshare/lib/pts_dummy_new/thinning.ma"}
305 "_build/install/default/share/matita/myshare/lib/pts_dummy_new/types.ma" {"matita/myshare/lib/pts_dummy_new/types.ma"}
306 "_build/install/default/share/matita/myshare/lib/re/lang.ma" {"matita/myshare/lib/re/lang.ma"}
307 "_build/install/default/share/matita/myshare/lib/re/moves.ma" {"matita/myshare/lib/re/moves.ma"}
308 "_build/install/default/share/matita/myshare/lib/re/re.ma" {"matita/myshare/lib/re/re.ma"}
309 "_build/install/default/share/matita/myshare/lib/re/reb.ma" {"matita/myshare/lib/re/reb.ma"}
310 "_build/install/default/share/matita/myshare/lib/reverse_complexity/almost.ma" {"matita/myshare/lib/reverse_complexity/almost.ma"}
311 "_build/install/default/share/matita/myshare/lib/reverse_complexity/basics.ma" {"matita/myshare/lib/reverse_complexity/basics.ma"}
312 "_build/install/default/share/matita/myshare/lib/reverse_complexity/big_O.ma" {"matita/myshare/lib/reverse_complexity/big_O.ma"}
313 "_build/install/default/share/matita/myshare/lib/reverse_complexity/bigops_compl.ma" {"matita/myshare/lib/reverse_complexity/bigops_compl.ma"}
314 "_build/install/default/share/matita/myshare/lib/reverse_complexity/complexity.ma" {"matita/myshare/lib/reverse_complexity/complexity.ma"}
315 "_build/install/default/share/matita/myshare/lib/reverse_complexity/gap.ma" {"matita/myshare/lib/reverse_complexity/gap.ma"}
316 "_build/install/default/share/matita/myshare/lib/reverse_complexity/hierarchy.ma" {"matita/myshare/lib/reverse_complexity/hierarchy.ma"}
317 "_build/install/default/share/matita/myshare/lib/reverse_complexity/sigma_diseq.ma" {"matita/myshare/lib/reverse_complexity/sigma_diseq.ma"}
318 "_build/install/default/share/matita/myshare/lib/reverse_complexity/speed_clean.ma" {"matita/myshare/lib/reverse_complexity/speed_clean.ma"}
319 "_build/install/default/share/matita/myshare/lib/reverse_complexity/speed_def.ma" {"matita/myshare/lib/reverse_complexity/speed_def.ma"}
320 "_build/install/default/share/matita/myshare/lib/reverse_complexity/speed_new.ma" {"matita/myshare/lib/reverse_complexity/speed_new.ma"}
321 "_build/install/default/share/matita/myshare/lib/reverse_complexity/speedup.ma" {"matita/myshare/lib/reverse_complexity/speedup.ma"}
322 "_build/install/default/share/matita/myshare/lib/reverse_complexity/toolkit.ma" {"matita/myshare/lib/reverse_complexity/toolkit.ma"}
323 "_build/install/default/share/matita/myshare/lib/root" {"matita/myshare/lib/root"}
324 "_build/install/default/share/matita/myshare/lib/self_typing.ma" {"matita/myshare/lib/self_typing.ma"}
325 "_build/install/default/share/matita/myshare/lib/turing/auxiliary_machines.ma" {"matita/myshare/lib/turing/auxiliary_machines.ma"}
326 "_build/install/default/share/matita/myshare/lib/turing/auxiliary_machines1.ma" {"matita/myshare/lib/turing/auxiliary_machines1.ma"}
327 "_build/install/default/share/matita/myshare/lib/turing/auxiliary_multi_machines.ma" {"matita/myshare/lib/turing/auxiliary_multi_machines.ma"}
328 "_build/install/default/share/matita/myshare/lib/turing/basic_machines.ma" {"matita/myshare/lib/turing/basic_machines.ma"}
329 "_build/install/default/share/matita/myshare/lib/turing/basic_multi_machines.ma" {"matita/myshare/lib/turing/basic_multi_machines.ma"}
330 "_build/install/default/share/matita/myshare/lib/turing/complexity.ma" {"matita/myshare/lib/turing/complexity.ma"}
331 "_build/install/default/share/matita/myshare/lib/turing/if_machine.ma" {"matita/myshare/lib/turing/if_machine.ma"}
332 "_build/install/default/share/matita/myshare/lib/turing/if_multi.ma" {"matita/myshare/lib/turing/if_multi.ma"}
333 "_build/install/default/share/matita/myshare/lib/turing/inject.ma" {"matita/myshare/lib/turing/inject.ma"}
334 "_build/install/default/share/matita/myshare/lib/turing/mono.ma" {"matita/myshare/lib/turing/mono.ma"}
335 "_build/install/default/share/matita/myshare/lib/turing/move_char.ma" {"matita/myshare/lib/turing/move_char.ma"}
336 "_build/install/default/share/matita/myshare/lib/turing/multi_to_mono/exec_moves.ma" {"matita/myshare/lib/turing/multi_to_mono/exec_moves.ma"}
337 "_build/install/default/share/matita/myshare/lib/turing/multi_to_mono/exec_trace_move.ma" {"matita/myshare/lib/turing/multi_to_mono/exec_trace_move.ma"}
338 "_build/install/default/share/matita/myshare/lib/turing/multi_to_mono/full.ma" {"matita/myshare/lib/turing/multi_to_mono/full.ma"}
339 "_build/install/default/share/matita/myshare/lib/turing/multi_to_mono/shift_trace.ma" {"matita/myshare/lib/turing/multi_to_mono/shift_trace.ma"}
340 "_build/install/default/share/matita/myshare/lib/turing/multi_to_mono/shift_trace_aux.ma" {"matita/myshare/lib/turing/multi_to_mono/shift_trace_aux.ma"}
341 "_build/install/default/share/matita/myshare/lib/turing/multi_to_mono/step.ma" {"matita/myshare/lib/turing/multi_to_mono/step.ma"}
342 "_build/install/default/share/matita/myshare/lib/turing/multi_to_mono/trace_alphabet.ma" {"matita/myshare/lib/turing/multi_to_mono/trace_alphabet.ma"}
343 "_build/install/default/share/matita/myshare/lib/turing/multi_universal/alphabet.ma" {"matita/myshare/lib/turing/multi_universal/alphabet.ma"}
344 "_build/install/default/share/matita/myshare/lib/turing/multi_universal/binaryTM.ma" {"matita/myshare/lib/turing/multi_universal/binaryTM.ma"}
345 "_build/install/default/share/matita/myshare/lib/turing/multi_universal/match.ma" {"matita/myshare/lib/turing/multi_universal/match.ma"}
346 "_build/install/default/share/matita/myshare/lib/turing/multi_universal/normalTM.ma" {"matita/myshare/lib/turing/multi_universal/normalTM.ma"}
347 "_build/install/default/share/matita/myshare/lib/turing/multi_universal/tuples.ma" {"matita/myshare/lib/turing/multi_universal/tuples.ma"}
348 "_build/install/default/share/matita/myshare/lib/turing/multi_universal/unistep.ma" {"matita/myshare/lib/turing/multi_universal/unistep.ma"}
349 "_build/install/default/share/matita/myshare/lib/turing/multi_universal/unistep_aux.ma" {"matita/myshare/lib/turing/multi_universal/unistep_aux.ma"}
350 "_build/install/default/share/matita/myshare/lib/turing/multi_universal/universal.ma" {"matita/myshare/lib/turing/multi_universal/universal.ma"}
351 "_build/install/default/share/matita/myshare/lib/turing/ntm.ma" {"matita/myshare/lib/turing/ntm.ma"}
352 "_build/install/default/share/matita/myshare/lib/turing/oracle.ma" {"matita/myshare/lib/turing/oracle.ma"}
353 "_build/install/default/share/matita/myshare/lib/turing/turing.ma" {"matita/myshare/lib/turing/turing.ma"}
354 "_build/install/default/share/matita/myshare/lib/turing/turing_old.ma" {"matita/myshare/lib/turing/turing_old.ma"}
355 "_build/install/default/share/matita/myshare/lib/turing/universal.ma" {"matita/myshare/lib/turing/universal.ma"}
356 "_build/install/default/share/matita/myshare/lib/turing/while_machine.ma" {"matita/myshare/lib/turing/while_machine.ma"}
357 "_build/install/default/share/matita/myshare/lib/turing/while_multi.ma" {"matita/myshare/lib/turing/while_multi.ma"}
358 "_build/install/default/share/matita/myshare/lib/turing/wmono.ma" {"matita/myshare/lib/turing/wmono.ma"}
359 "_build/install/default/share/matita/myshare/lib/tutorial/chapter1.ma" {"matita/myshare/lib/tutorial/chapter1.ma"}
360 "_build/install/default/share/matita/myshare/lib/tutorial/chapter10.ma" {"matita/myshare/lib/tutorial/chapter10.ma"}
361 "_build/install/default/share/matita/myshare/lib/tutorial/chapter11.ma" {"matita/myshare/lib/tutorial/chapter11.ma"}
362 "_build/install/default/share/matita/myshare/lib/tutorial/chapter12.ma" {"matita/myshare/lib/tutorial/chapter12.ma"}
363 "_build/install/default/share/matita/myshare/lib/tutorial/chapter13.ma" {"matita/myshare/lib/tutorial/chapter13.ma"}
364 "_build/install/default/share/matita/myshare/lib/tutorial/chapter2.ma" {"matita/myshare/lib/tutorial/chapter2.ma"}
365 "_build/install/default/share/matita/myshare/lib/tutorial/chapter3.ma" {"matita/myshare/lib/tutorial/chapter3.ma"}
366 "_build/install/default/share/matita/myshare/lib/tutorial/chapter4.ma" {"matita/myshare/lib/tutorial/chapter4.ma"}
367 "_build/install/default/share/matita/myshare/lib/tutorial/chapter5.ma" {"matita/myshare/lib/tutorial/chapter5.ma"}
368 "_build/install/default/share/matita/myshare/lib/tutorial/chapter6.ma" {"matita/myshare/lib/tutorial/chapter6.ma"}
369 "_build/install/default/share/matita/myshare/lib/tutorial/chapter7.ma" {"matita/myshare/lib/tutorial/chapter7.ma"}
370 "_build/install/default/share/matita/myshare/lib/tutorial/chapter8.ma" {"matita/myshare/lib/tutorial/chapter8.ma"}
371 "_build/install/default/share/matita/myshare/lib/tutorial/chapter9.ma" {"matita/myshare/lib/tutorial/chapter9.ma"}
372 "_build/install/default/share/matita/myshare/matita.conf.xml" {"matita/myshare/matita.conf.xml"}
373 "_build/install/default/share/matita/myshare/matita.gtkrc" {"matita/myshare/matita.gtkrc"}
374 "_build/install/default/share/matita/myshare/matita.lang" {"matita/myshare/matita.lang"}
375 "_build/install/default/share/matita/myshare/matita.ma.templ" {"matita/myshare/matita.ma.templ"}
378 "_build/install/default/doc/matita/html/WrtCoq.html" {"html/WrtCoq.html"}
379 "_build/install/default/doc/matita/html/authoring.html" {"html/authoring.html"}
380 "_build/install/default/doc/matita/html/axiom_definition_declaration.html" {"html/axiom_definition_declaration.html"}
381 "_build/install/default/doc/matita/html/ch05s02.html" {"html/ch05s02.html"}
382 "_build/install/default/doc/matita/html/cicbrowser.html" {"html/cicbrowser.html"}
383 "_build/install/default/doc/matita/html/command_check.html" {"html/command_check.html"}
384 "_build/install/default/doc/matita/html/command_coercion.html" {"html/command_coercion.html"}
385 "_build/install/default/doc/matita/html/command_include.html" {"html/command_include.html"}
386 "_build/install/default/doc/matita/html/command_include_alias.html" {"html/command_include_alias.html"}
387 "_build/install/default/doc/matita/html/command_qed.html" {"html/command_qed.html"}
388 "_build/install/default/doc/matita/html/command_qed_minus.html" {"html/command_qed_minus.html"}
389 "_build/install/default/doc/matita/html/command_unification_hint.html" {"html/command_unification_hint.html"}
390 "_build/install/default/doc/matita/html/command_universe_constraints.html" {"html/command_universe_constraints.html"}
391 "_build/install/default/doc/matita/html/docbook.css" {"html/docbook.css"}
392 "_build/install/default/doc/matita/html/figures/database.dia" {"html/figures/database.dia"}
393 "_build/install/default/doc/matita/html/figures/database.png" {"html/figures/database.png"}
394 "_build/install/default/doc/matita/html/figures/matita.png" {"html/figures/matita.png"}
395 "_build/install/default/doc/matita/html/figures/vbox1.png" {"html/figures/vbox1.png"}
396 "_build/install/default/doc/matita/html/figures/vbox2.png" {"html/figures/vbox2.png"}
397 "_build/install/default/doc/matita/html/figures/vbox3.png" {"html/figures/vbox3.png"}
398 "_build/install/default/doc/matita/html/figures/vbox35.png" {"html/figures/vbox35.png"}
399 "_build/install/default/doc/matita/html/figures/vbox4.png" {"html/figures/vbox4.png"}
400 "_build/install/default/doc/matita/html/figures/vbox5.png" {"html/figures/vbox5.png"}
401 "_build/install/default/doc/matita/html/figures/vbox6.png" {"html/figures/vbox6.png"}
402 "_build/install/default/doc/matita/html/figures/vbox7.png" {"html/figures/vbox7.png"}
403 "_build/install/default/doc/matita/html/index.html" {"html/index.html"}
404 "_build/install/default/doc/matita/html/inst_from_src.html" {"html/inst_from_src.html"}
405 "_build/install/default/doc/matita/html/macro_intro.html" {"html/macro_intro.html"}
406 "_build/install/default/doc/matita/html/proofs.html" {"html/proofs.html"}
407 "_build/install/default/doc/matita/html/proofstatus.html" {"html/proofstatus.html"}
408 "_build/install/default/doc/matita/html/sec_commands.html" {"html/sec_commands.html"}
409 "_build/install/default/doc/matita/html/sec_declarative_tactics.html" {"html/sec_declarative_tactics.html"}
410 "_build/install/default/doc/matita/html/sec_gettingstarted.html" {"html/sec_gettingstarted.html"}
411 "_build/install/default/doc/matita/html/sec_install.html" {"html/sec_install.html"}
412 "_build/install/default/doc/matita/html/sec_intro.html" {"html/sec_intro.html"}
413 "_build/install/default/doc/matita/html/sec_license.html" {"html/sec_license.html"}
414 "_build/install/default/doc/matita/html/sec_tacticals.html" {"html/sec_tacticals.html"}
415 "_build/install/default/doc/matita/html/sec_tactics.html" {"html/sec_tactics.html"}
416 "_build/install/default/doc/matita/html/sec_terms.html" {"html/sec_terms.html"}
417 "_build/install/default/doc/matita/html/sec_usernotation.html" {"html/sec_usernotation.html"}
418 "_build/install/default/doc/matita/html/tac_andelim.html" {"html/tac_andelim.html"}
419 "_build/install/default/doc/matita/html/tac_apply.html" {"html/tac_apply.html"}
420 "_build/install/default/doc/matita/html/tac_applyS.html" {"html/tac_applyS.html"}
421 "_build/install/default/doc/matita/html/tac_assume.html" {"html/tac_assume.html"}
422 "_build/install/default/doc/matita/html/tac_assumption.html" {"html/tac_assumption.html"}
423 "_build/install/default/doc/matita/html/tac_auto.html" {"html/tac_auto.html"}
424 "_build/install/default/doc/matita/html/tac_bydone.html" {"html/tac_bydone.html"}
425 "_build/install/default/doc/matita/html/tac_byinduction.html" {"html/tac_byinduction.html"}
426 "_build/install/default/doc/matita/html/tac_bytermweproved.html" {"html/tac_bytermweproved.html"}
427 "_build/install/default/doc/matita/html/tac_case.html" {"html/tac_case.html"}
428 "_build/install/default/doc/matita/html/tac_cases.html" {"html/tac_cases.html"}
429 "_build/install/default/doc/matita/html/tac_change.html" {"html/tac_change.html"}
430 "_build/install/default/doc/matita/html/tac_clear.html" {"html/tac_clear.html"}
431 "_build/install/default/doc/matita/html/tac_conclude.html" {"html/tac_conclude.html"}
432 "_build/install/default/doc/matita/html/tac_constructor.html" {"html/tac_constructor.html"}
433 "_build/install/default/doc/matita/html/tac_cut.html" {"html/tac_cut.html"}
434 "_build/install/default/doc/matita/html/tac_decompose.html" {"html/tac_decompose.html"}
435 "_build/install/default/doc/matita/html/tac_destruct.html" {"html/tac_destruct.html"}
436 "_build/install/default/doc/matita/html/tac_elim.html" {"html/tac_elim.html"}
437 "_build/install/default/doc/matita/html/tac_existselim.html" {"html/tac_existselim.html"}
438 "_build/install/default/doc/matita/html/tac_generalize.html" {"html/tac_generalize.html"}
439 "_build/install/default/doc/matita/html/tac_intro.html" {"html/tac_intro.html"}
440 "_build/install/default/doc/matita/html/tac_intro_clear.html" {"html/tac_intro_clear.html"}
441 "_build/install/default/doc/matita/html/tac_inversion.html" {"html/tac_inversion.html"}
442 "_build/install/default/doc/matita/html/tac_lapply.html" {"html/tac_lapply.html"}
443 "_build/install/default/doc/matita/html/tac_let.html" {"html/tac_let.html"}
444 "_build/install/default/doc/matita/html/tac_letin.html" {"html/tac_letin.html"}
445 "_build/install/default/doc/matita/html/tac_normalize.html" {"html/tac_normalize.html"}
446 "_build/install/default/doc/matita/html/tac_obtain.html" {"html/tac_obtain.html"}
447 "_build/install/default/doc/matita/html/tac_rewrite.html" {"html/tac_rewrite.html"}
448 "_build/install/default/doc/matita/html/tac_rewrite_step.html" {"html/tac_rewrite_step.html"}
449 "_build/install/default/doc/matita/html/tac_suppose.html" {"html/tac_suppose.html"}
450 "_build/install/default/doc/matita/html/tac_thatisequivalentto.html" {"html/tac_thatisequivalentto.html"}
451 "_build/install/default/doc/matita/html/tac_thesisbecomes.html" {"html/tac_thesisbecomes.html"}
452 "_build/install/default/doc/matita/html/tac_weneedtoprove.html" {"html/tac_weneedtoprove.html"}
453 "_build/install/default/doc/matita/html/tac_weproceedbycases.html" {"html/tac_weproceedbycases.html"}
454 "_build/install/default/doc/matita/html/tac_weproceedbyinduction.html" {"html/tac_weproceedbyinduction.html"}
455 "_build/install/default/doc/matita/html/tac_whd.html" {"html/tac_whd.html"}
456 "_build/install/default/doc/matita/html/tacticals.html" {"html/tacticals.html"}
457 "_build/install/default/doc/matita/html/tacticargs.html" {"html/tacticargs.html"}
458 "_build/install/default/doc/matita/matita.pdf"
projects / helm.git / blob