lib: [ "_build/install/default/lib/matita/META" "_build/install/default/lib/matita/dune-package" "_build/install/default/lib/matita/opam" ] bin: [ "_build/install/default/bin/matex" "_build/install/default/bin/matita" "_build/install/default/bin/matitac" "_build/install/default/bin/matitaclean" "_build/install/default/bin/matitadep" "_build/install/default/bin/probe" "_build/install/default/bin/xoa" ] share_root: [ "_build/install/default/share/matita/myshare/AUTHORS" {"matita/myshare/AUTHORS"} "_build/install/default/share/matita/myshare/LICENSE" {"matita/myshare/LICENSE"} "_build/install/default/share/matita/myshare/closed.xml" {"matita/myshare/closed.xml"} "_build/install/default/share/matita/myshare/help/C/declarative_tactics_quickref.xml" {"matita/myshare/help/C/declarative_tactics_quickref.xml"} "_build/install/default/share/matita/myshare/help/C/figures/database.dia" {"matita/myshare/help/C/figures/database.dia"} "_build/install/default/share/matita/myshare/help/C/figures/database.png" {"matita/myshare/help/C/figures/database.png"} "_build/install/default/share/matita/myshare/help/C/figures/matita.png" {"matita/myshare/help/C/figures/matita.png"} "_build/install/default/share/matita/myshare/help/C/figures/vbox1.png" {"matita/myshare/help/C/figures/vbox1.png"} "_build/install/default/share/matita/myshare/help/C/figures/vbox2.png" {"matita/myshare/help/C/figures/vbox2.png"} "_build/install/default/share/matita/myshare/help/C/figures/vbox3.png" {"matita/myshare/help/C/figures/vbox3.png"} "_build/install/default/share/matita/myshare/help/C/figures/vbox35.png" {"matita/myshare/help/C/figures/vbox35.png"} "_build/install/default/share/matita/myshare/help/C/figures/vbox4.png" {"matita/myshare/help/C/figures/vbox4.png"} "_build/install/default/share/matita/myshare/help/C/figures/vbox5.png" {"matita/myshare/help/C/figures/vbox5.png"} "_build/install/default/share/matita/myshare/help/C/figures/vbox6.png" {"matita/myshare/help/C/figures/vbox6.png"} "_build/install/default/share/matita/myshare/help/C/figures/vbox7.png" {"matita/myshare/help/C/figures/vbox7.png"} "_build/install/default/share/matita/myshare/help/C/legal.xml" {"matita/myshare/help/C/legal.xml"} "_build/install/default/share/matita/myshare/help/C/matita.xml" {"matita/myshare/help/C/matita.xml"} "_build/install/default/share/matita/myshare/help/C/sec_commands.xml" {"matita/myshare/help/C/sec_commands.xml"} "_build/install/default/share/matita/myshare/help/C/sec_declarative_tactics.xml" {"matita/myshare/help/C/sec_declarative_tactics.xml"} "_build/install/default/share/matita/myshare/help/C/sec_gettingstarted.xml" {"matita/myshare/help/C/sec_gettingstarted.xml"} "_build/install/default/share/matita/myshare/help/C/sec_install.xml" {"matita/myshare/help/C/sec_install.xml"} "_build/install/default/share/matita/myshare/help/C/sec_intro.xml" {"matita/myshare/help/C/sec_intro.xml"} "_build/install/default/share/matita/myshare/help/C/sec_license.xml" {"matita/myshare/help/C/sec_license.xml"} "_build/install/default/share/matita/myshare/help/C/sec_tacticals.xml" {"matita/myshare/help/C/sec_tacticals.xml"} "_build/install/default/share/matita/myshare/help/C/sec_tactics.xml" {"matita/myshare/help/C/sec_tactics.xml"} "_build/install/default/share/matita/myshare/help/C/sec_terms.xml" {"matita/myshare/help/C/sec_terms.xml"} "_build/install/default/share/matita/myshare/help/C/sec_usernotation.xml" {"matita/myshare/help/C/sec_usernotation.xml"} "_build/install/default/share/matita/myshare/help/C/tactic_quickref.xml" {"matita/myshare/help/C/tactic_quickref.xml"} "_build/install/default/share/matita/myshare/help/C/tactics_quickref.xml" {"matita/myshare/help/C/tactics_quickref.xml"} "_build/install/default/share/matita/myshare/icons/matita-32.xpm" {"matita/myshare/icons/matita-32.xpm"} "_build/install/default/share/matita/myshare/icons/matita-bulb-high.png" {"matita/myshare/icons/matita-bulb-high.png"} "_build/install/default/share/matita/myshare/icons/matita-bulb-low.png" {"matita/myshare/icons/matita-bulb-low.png"} "_build/install/default/share/matita/myshare/icons/matita-bulb-medium.png" {"matita/myshare/icons/matita-bulb-medium.png"} "_build/install/default/share/matita/myshare/icons/matita-folder.png" {"matita/myshare/icons/matita-folder.png"} "_build/install/default/share/matita/myshare/icons/matita-object.png" {"matita/myshare/icons/matita-object.png"} "_build/install/default/share/matita/myshare/icons/matita-theory.png" {"matita/myshare/icons/matita-theory.png"} "_build/install/default/share/matita/myshare/icons/matita.png" {"matita/myshare/icons/matita.png"} "_build/install/default/share/matita/myshare/icons/matita_medium.png" {"matita/myshare/icons/matita_medium.png"} "_build/install/default/share/matita/myshare/icons/matita_small.png" {"matita/myshare/icons/matita_small.png"} "_build/install/default/share/matita/myshare/icons/matita_very_small.png" {"matita/myshare/icons/matita_very_small.png"} "_build/install/default/share/matita/myshare/icons/meegg.png" {"matita/myshare/icons/meegg.png"} "_build/install/default/share/matita/myshare/icons/whelp.png" {"matita/myshare/icons/whelp.png"} "_build/install/default/share/matita/myshare/icons/whelp.svg" {"matita/myshare/icons/whelp.svg"} "_build/install/default/share/matita/myshare/lib/MONADS/speranza.ma" {"matita/myshare/lib/MONADS/speranza.ma"} "_build/install/default/share/matita/myshare/lib/MONADS/speranza2.ma" {"matita/myshare/lib/MONADS/speranza2.ma"} "_build/install/default/share/matita/myshare/lib/Makefile" {"matita/myshare/lib/Makefile"} "_build/install/default/share/matita/myshare/lib/arithmetics/bigops.ma" {"matita/myshare/lib/arithmetics/bigops.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/binomial.ma" {"matita/myshare/lib/arithmetics/binomial.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/bounded_quantifiers.ma" {"matita/myshare/lib/arithmetics/bounded_quantifiers.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/chebyshev/bertrand.ma" {"matita/myshare/lib/arithmetics/chebyshev/bertrand.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/chebyshev/bertrand256.ma" {"matita/myshare/lib/arithmetics/chebyshev/bertrand256.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/chebyshev/chebyshev_psi.ma" {"matita/myshare/lib/arithmetics/chebyshev/chebyshev_psi.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/chebyshev/chebyshev_theta.ma" {"matita/myshare/lib/arithmetics/chebyshev/chebyshev_theta.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/chebyshev/factorization.ma" {"matita/myshare/lib/arithmetics/chebyshev/factorization.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/chebyshev/psi_bounds.ma" {"matita/myshare/lib/arithmetics/chebyshev/psi_bounds.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/chinese_reminder.ma" {"matita/myshare/lib/arithmetics/chinese_reminder.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/congruence.ma" {"matita/myshare/lib/arithmetics/congruence.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/div_and_mod.ma" {"matita/myshare/lib/arithmetics/div_and_mod.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/exp.ma" {"matita/myshare/lib/arithmetics/exp.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/factorial.ma" {"matita/myshare/lib/arithmetics/factorial.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/fermat_little_theorem.ma" {"matita/myshare/lib/arithmetics/fermat_little_theorem.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/gcd.ma" {"matita/myshare/lib/arithmetics/gcd.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/iteration.ma" {"matita/myshare/lib/arithmetics/iteration.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/log.ma" {"matita/myshare/lib/arithmetics/log.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/lstar.ma" {"matita/myshare/lib/arithmetics/lstar.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/minimization.ma" {"matita/myshare/lib/arithmetics/minimization.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/nat.ma" {"matita/myshare/lib/arithmetics/nat.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/nat_commented.ma" {"matita/myshare/lib/arithmetics/nat_commented.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/nth_prime.ma" {"matita/myshare/lib/arithmetics/nth_prime.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/ord.ma" {"matita/myshare/lib/arithmetics/ord.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/permutation.ma" {"matita/myshare/lib/arithmetics/permutation.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/pidgeon_hole.ma" {"matita/myshare/lib/arithmetics/pidgeon_hole.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/primes.ma" {"matita/myshare/lib/arithmetics/primes.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/sigma_pi.ma" {"matita/myshare/lib/arithmetics/sigma_pi.ma"} "_build/install/default/share/matita/myshare/lib/arithmetics/sqrt.ma" {"matita/myshare/lib/arithmetics/sqrt.ma"} "_build/install/default/share/matita/myshare/lib/basics/bool.ma" {"matita/myshare/lib/basics/bool.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation.ma" {"matita/myshare/lib/basics/core_notation.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/apart_2.ma" {"matita/myshare/lib/basics/core_notation/apart_2.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/card_1.ma" {"matita/myshare/lib/basics/core_notation/card_1.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/compose_2.ma" {"matita/myshare/lib/basics/core_notation/compose_2.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/comprehension_2.ma" {"matita/myshare/lib/basics/core_notation/comprehension_2.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/downarrow_1.ma" {"matita/myshare/lib/basics/core_notation/downarrow_1.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/exp_2.ma" {"matita/myshare/lib/basics/core_notation/exp_2.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/fact_1.ma" {"matita/myshare/lib/basics/core_notation/fact_1.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/fintersects_2.ma" {"matita/myshare/lib/basics/core_notation/fintersects_2.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/funion_2.ma" {"matita/myshare/lib/basics/core_notation/funion_2.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/invert_1.ma" {"matita/myshare/lib/basics/core_notation/invert_1.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/invert_appl_2.ma" {"matita/myshare/lib/basics/core_notation/invert_appl_2.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/napart_2.ma" {"matita/myshare/lib/basics/core_notation/napart_2.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/overlaps_2.ma" {"matita/myshare/lib/basics/core_notation/overlaps_2.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/pair_2.ma" {"matita/myshare/lib/basics/core_notation/pair_2.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/singl_1.ma" {"matita/myshare/lib/basics/core_notation/singl_1.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/subset_1.ma" {"matita/myshare/lib/basics/core_notation/subset_1.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/subseteq_2.ma" {"matita/myshare/lib/basics/core_notation/subseteq_2.ma"} "_build/install/default/share/matita/myshare/lib/basics/core_notation/uparrow_1.ma" {"matita/myshare/lib/basics/core_notation/uparrow_1.ma"} "_build/install/default/share/matita/myshare/lib/basics/deqlist.ma" {"matita/myshare/lib/basics/deqlist.ma"} "_build/install/default/share/matita/myshare/lib/basics/deqsets.ma" {"matita/myshare/lib/basics/deqsets.ma"} "_build/install/default/share/matita/myshare/lib/basics/finset.ma" {"matita/myshare/lib/basics/finset.ma"} "_build/install/default/share/matita/myshare/lib/basics/jmeq.ma" {"matita/myshare/lib/basics/jmeq.ma"} "_build/install/default/share/matita/myshare/lib/basics/lists/list.ma" {"matita/myshare/lib/basics/lists/list.ma"} "_build/install/default/share/matita/myshare/lib/basics/lists/listb.ma" {"matita/myshare/lib/basics/lists/listb.ma"} "_build/install/default/share/matita/myshare/lib/basics/lists/lstar.ma" {"matita/myshare/lib/basics/lists/lstar.ma"} "_build/install/default/share/matita/myshare/lib/basics/logic.ma" {"matita/myshare/lib/basics/logic.ma"} "_build/install/default/share/matita/myshare/lib/basics/pts.ma" {"matita/myshare/lib/basics/pts.ma"} "_build/install/default/share/matita/myshare/lib/basics/relations.ma" {"matita/myshare/lib/basics/relations.ma"} "_build/install/default/share/matita/myshare/lib/basics/russell.ma" {"matita/myshare/lib/basics/russell.ma"} "_build/install/default/share/matita/myshare/lib/basics/sets.ma" {"matita/myshare/lib/basics/sets.ma"} "_build/install/default/share/matita/myshare/lib/basics/star.ma" {"matita/myshare/lib/basics/star.ma"} "_build/install/default/share/matita/myshare/lib/basics/star1.ma" {"matita/myshare/lib/basics/star1.ma"} "_build/install/default/share/matita/myshare/lib/basics/types.ma" {"matita/myshare/lib/basics/types.ma"} "_build/install/default/share/matita/myshare/lib/basics/vector_finset.ma" {"matita/myshare/lib/basics/vector_finset.ma"} "_build/install/default/share/matita/myshare/lib/basics/vectors.ma" {"matita/myshare/lib/basics/vectors.ma"} "_build/install/default/share/matita/myshare/lib/didactic/natural_deduction.ma" {"matita/myshare/lib/didactic/natural_deduction.ma"} "_build/install/default/share/matita/myshare/lib/extraction.ma" {"matita/myshare/lib/extraction.ma"} "_build/install/default/share/matita/myshare/lib/fail.txt" {"matita/myshare/lib/fail.txt"} "_build/install/default/share/matita/myshare/lib/finite_lambda/confluence.ma" {"matita/myshare/lib/finite_lambda/confluence.ma"} "_build/install/default/share/matita/myshare/lib/finite_lambda/reduction.ma" {"matita/myshare/lib/finite_lambda/reduction.ma"} "_build/install/default/share/matita/myshare/lib/finite_lambda/terms_and_types.ma" {"matita/myshare/lib/finite_lambda/terms_and_types.ma"} "_build/install/default/share/matita/myshare/lib/finite_lambda/typing.ma" {"matita/myshare/lib/finite_lambda/typing.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/apply_functor.ma" {"matita/myshare/lib/formal_topology/apply_functor.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/basic_pairs.ma" {"matita/myshare/lib/formal_topology/basic_pairs.ma"} "_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"} "_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"} "_build/install/default/share/matita/myshare/lib/formal_topology/basic_topologies.ma" {"matita/myshare/lib/formal_topology/basic_topologies.ma"} "_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"} "_build/install/default/share/matita/myshare/lib/formal_topology/categories.ma" {"matita/myshare/lib/formal_topology/categories.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/concrete_spaces.ma" {"matita/myshare/lib/formal_topology/concrete_spaces.ma"} "_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"} "_build/install/default/share/matita/myshare/lib/formal_topology/cprop_connectives.ma" {"matita/myshare/lib/formal_topology/cprop_connectives.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/formal_topologies.ma" {"matita/myshare/lib/formal_topology/formal_topologies.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/notation.ma" {"matita/myshare/lib/formal_topology/notation.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/o-algebra.ma" {"matita/myshare/lib/formal_topology/o-algebra.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/o-basic_pairs.ma" {"matita/myshare/lib/formal_topology/o-basic_pairs.ma"} "_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"} "_build/install/default/share/matita/myshare/lib/formal_topology/o-basic_topologies.ma" {"matita/myshare/lib/formal_topology/o-basic_topologies.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/o-concrete_spaces.ma" {"matita/myshare/lib/formal_topology/o-concrete_spaces.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/o-formal_topologies.ma" {"matita/myshare/lib/formal_topology/o-formal_topologies.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/o-saturations.ma" {"matita/myshare/lib/formal_topology/o-saturations.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/r-o-basic_pairs.ma" {"matita/myshare/lib/formal_topology/r-o-basic_pairs.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/relations.ma" {"matita/myshare/lib/formal_topology/relations.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/relations_to_o-algebra.ma" {"matita/myshare/lib/formal_topology/relations_to_o-algebra.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/replace.sh" {"matita/myshare/lib/formal_topology/replace.sh"} "_build/install/default/share/matita/myshare/lib/formal_topology/saturations.ma" {"matita/myshare/lib/formal_topology/saturations.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/saturations_to_o-saturations.ma" {"matita/myshare/lib/formal_topology/saturations_to_o-saturations.ma"} "_build/install/default/share/matita/myshare/lib/formal_topology/subsets.ma" {"matita/myshare/lib/formal_topology/subsets.ma"} "_build/install/default/share/matita/myshare/lib/hints_declaration.ma" {"matita/myshare/lib/hints_declaration.ma"} "_build/install/default/share/matita/myshare/lib/hott/Overture.ma" {"matita/myshare/lib/hott/Overture.ma"} "_build/install/default/share/matita/myshare/lib/hott/PathGroupoids.ma" {"matita/myshare/lib/hott/PathGroupoids.ma"} "_build/install/default/share/matita/myshare/lib/hott/notations.ma" {"matita/myshare/lib/hott/notations.ma"} "_build/install/default/share/matita/myshare/lib/hott/pts.ma" {"matita/myshare/lib/hott/pts.ma"} "_build/install/default/share/matita/myshare/lib/hott/types.ma" {"matita/myshare/lib/hott/types.ma"} "_build/install/default/share/matita/myshare/lib/inconsistent.ma" {"matita/myshare/lib/inconsistent.ma"} "_build/install/default/share/matita/myshare/lib/lambda/Makefile" {"matita/myshare/lib/lambda/Makefile"} "_build/install/default/share/matita/myshare/lib/lambda/background/preamble.ma" {"matita/myshare/lib/lambda/background/preamble.ma"} "_build/install/default/share/matita/myshare/lib/lambda/etc/cons_r.etc" {"matita/myshare/lib/lambda/etc/cons_r.etc"} "_build/install/default/share/matita/myshare/lib/lambda/levels/interpretations.ma" {"matita/myshare/lib/lambda/levels/interpretations.ma"} "_build/install/default/share/matita/myshare/lib/lambda/levels/iterated_abstraction.ma" {"matita/myshare/lib/lambda/levels/iterated_abstraction.ma"} "_build/install/default/share/matita/myshare/lib/lambda/levels/term.ma" {"matita/myshare/lib/lambda/levels/term.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/abstraction_1.ma" {"matita/myshare/lib/lambda/notation/functions/abstraction_1.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/abstraction_2.ma" {"matita/myshare/lib/lambda/notation/functions/abstraction_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/annotatedabstraction_2.ma" {"matita/myshare/lib/lambda/notation/functions/annotatedabstraction_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/application_2.ma" {"matita/myshare/lib/lambda/notation/functions/application_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/application_3.ma" {"matita/myshare/lib/lambda/notation/functions/application_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/backward_1.ma" {"matita/myshare/lib/lambda/notation/functions/backward_1.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/backward_3.ma" {"matita/myshare/lib/lambda/notation/functions/backward_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/dsubst_3.ma" {"matita/myshare/lib/lambda/notation/functions/dsubst_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/forward_1.ma" {"matita/myshare/lib/lambda/notation/functions/forward_1.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/forward_3.ma" {"matita/myshare/lib/lambda/notation/functions/forward_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/hocons_2.ma" {"matita/myshare/lib/lambda/notation/functions/hocons_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/lift_3.ma" {"matita/myshare/lib/lambda/notation/functions/lift_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/multiplicity_1.ma" {"matita/myshare/lib/lambda/notation/functions/multiplicity_1.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/nil_0.ma" {"matita/myshare/lib/lambda/notation/functions/nil_0.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/projectdown_1.ma" {"matita/myshare/lib/lambda/notation/functions/projectdown_1.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/projectsame_2.ma" {"matita/myshare/lib/lambda/notation/functions/projectsame_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/projectup_2.ma" {"matita/myshare/lib/lambda/notation/functions/projectup_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/variablereferencebyindex_1.ma" {"matita/myshare/lib/lambda/notation/functions/variablereferencebyindex_1.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/variablereferencebyindex_2.ma" {"matita/myshare/lib/lambda/notation/functions/variablereferencebyindex_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/functions/variablereferencebylevel_2.ma" {"matita/myshare/lib/lambda/notation/functions/variablereferencebylevel_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/decomposedstd_2.ma" {"matita/myshare/lib/lambda/notation/relations/decomposedstd_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/parred_2.ma" {"matita/myshare/lib/lambda/notation/relations/parred_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/parredstar_2.ma" {"matita/myshare/lib/lambda/notation/relations/parredstar_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/prec_2.ma" {"matita/myshare/lib/lambda/notation/relations/prec_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/seqred_2.ma" {"matita/myshare/lib/lambda/notation/relations/seqred_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/seqred_3.ma" {"matita/myshare/lib/lambda/notation/relations/seqred_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/seqredstar_2.ma" {"matita/myshare/lib/lambda/notation/relations/seqredstar_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/seqredstar_3.ma" {"matita/myshare/lib/lambda/notation/relations/seqredstar_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/std_3.ma" {"matita/myshare/lib/lambda/notation/relations/std_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/relations/stdstar_3.ma" {"matita/myshare/lib/lambda/notation/relations/stdstar_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_1_2.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_1_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_2_2.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_2_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_2_3.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_2_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_3_1.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_3_1.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_3_2.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_3_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_3_3.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_3_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_3_4.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_3_4.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_4_1.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_4_1.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_4_2.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_4_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/ex_4_3.ma" {"matita/myshare/lib/lambda/notation/xoa/ex_4_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/false_0.ma" {"matita/myshare/lib/lambda/notation/xoa/false_0.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/or_3.ma" {"matita/myshare/lib/lambda/notation/xoa/or_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/notation/xoa/true_0.ma" {"matita/myshare/lib/lambda/notation/xoa/true_0.ma"} "_build/install/default/share/matita/myshare/lib/lambda/paths/alternative_standard_order.ma" {"matita/myshare/lib/lambda/paths/alternative_standard_order.ma"} "_build/install/default/share/matita/myshare/lib/lambda/paths/decomposed_trace.ma" {"matita/myshare/lib/lambda/paths/decomposed_trace.ma"} "_build/install/default/share/matita/myshare/lib/lambda/paths/dst_computation.ma" {"matita/myshare/lib/lambda/paths/dst_computation.ma"} "_build/install/default/share/matita/myshare/lib/lambda/paths/labeled_sequential_computation.ma" {"matita/myshare/lib/lambda/paths/labeled_sequential_computation.ma"} "_build/install/default/share/matita/myshare/lib/lambda/paths/labeled_sequential_reduction.ma" {"matita/myshare/lib/lambda/paths/labeled_sequential_reduction.ma"} "_build/install/default/share/matita/myshare/lib/lambda/paths/labeled_st_computation.ma" {"matita/myshare/lib/lambda/paths/labeled_st_computation.ma"} "_build/install/default/share/matita/myshare/lib/lambda/paths/labeled_st_reduction.ma" {"matita/myshare/lib/lambda/paths/labeled_st_reduction.ma"} "_build/install/default/share/matita/myshare/lib/lambda/paths/path.ma" {"matita/myshare/lib/lambda/paths/path.ma"} "_build/install/default/share/matita/myshare/lib/lambda/paths/standard_order.ma" {"matita/myshare/lib/lambda/paths/standard_order.ma"} "_build/install/default/share/matita/myshare/lib/lambda/paths/standard_precedence.ma" {"matita/myshare/lib/lambda/paths/standard_precedence.ma"} "_build/install/default/share/matita/myshare/lib/lambda/paths/standard_trace.ma" {"matita/myshare/lib/lambda/paths/standard_trace.ma"} "_build/install/default/share/matita/myshare/lib/lambda/paths/trace.ma" {"matita/myshare/lib/lambda/paths/trace.ma"} "_build/install/default/share/matita/myshare/lib/lambda/policy.txt" {"matita/myshare/lib/lambda/policy.txt"} "_build/install/default/share/matita/myshare/lib/lambda/replace.sh" {"matita/myshare/lib/lambda/replace.sh"} "_build/install/default/share/matita/myshare/lib/lambda/subterms/boolean.ma" {"matita/myshare/lib/lambda/subterms/boolean.ma"} "_build/install/default/share/matita/myshare/lib/lambda/subterms/booleanized.ma" {"matita/myshare/lib/lambda/subterms/booleanized.ma"} "_build/install/default/share/matita/myshare/lib/lambda/subterms/carrier.ma" {"matita/myshare/lib/lambda/subterms/carrier.ma"} "_build/install/default/share/matita/myshare/lib/lambda/subterms/relocating_substitution.ma" {"matita/myshare/lib/lambda/subterms/relocating_substitution.ma"} "_build/install/default/share/matita/myshare/lib/lambda/subterms/relocation.ma" {"matita/myshare/lib/lambda/subterms/relocation.ma"} "_build/install/default/share/matita/myshare/lib/lambda/subterms/subterms.ma" {"matita/myshare/lib/lambda/subterms/subterms.ma"} "_build/install/default/share/matita/myshare/lib/lambda/terms/iterated_abstraction.ma" {"matita/myshare/lib/lambda/terms/iterated_abstraction.ma"} "_build/install/default/share/matita/myshare/lib/lambda/terms/labeled_sequential_computation.ma" {"matita/myshare/lib/lambda/terms/labeled_sequential_computation.ma"} "_build/install/default/share/matita/myshare/lib/lambda/terms/multiplicity.ma" {"matita/myshare/lib/lambda/terms/multiplicity.ma"} "_build/install/default/share/matita/myshare/lib/lambda/terms/parallel_computation.ma" {"matita/myshare/lib/lambda/terms/parallel_computation.ma"} "_build/install/default/share/matita/myshare/lib/lambda/terms/parallel_reduction.ma" {"matita/myshare/lib/lambda/terms/parallel_reduction.ma"} "_build/install/default/share/matita/myshare/lib/lambda/terms/relocating_substitution.ma" {"matita/myshare/lib/lambda/terms/relocating_substitution.ma"} "_build/install/default/share/matita/myshare/lib/lambda/terms/relocation.ma" {"matita/myshare/lib/lambda/terms/relocation.ma"} "_build/install/default/share/matita/myshare/lib/lambda/terms/sequential_computation.ma" {"matita/myshare/lib/lambda/terms/sequential_computation.ma"} "_build/install/default/share/matita/myshare/lib/lambda/terms/sequential_reduction.ma" {"matita/myshare/lib/lambda/terms/sequential_reduction.ma"} "_build/install/default/share/matita/myshare/lib/lambda/terms/size.ma" {"matita/myshare/lib/lambda/terms/size.ma"} "_build/install/default/share/matita/myshare/lib/lambda/terms/supercombinator.ma" {"matita/myshare/lib/lambda/terms/supercombinator.ma"} "_build/install/default/share/matita/myshare/lib/lambda/terms/term.ma" {"matita/myshare/lib/lambda/terms/term.ma"} "_build/install/default/share/matita/myshare/lib/lambda/xoa.conf.xml" {"matita/myshare/lib/lambda/xoa.conf.xml"} "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_1_2.ma" {"matita/myshare/lib/lambda/xoa/ex_1_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_2_2.ma" {"matita/myshare/lib/lambda/xoa/ex_2_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_2_3.ma" {"matita/myshare/lib/lambda/xoa/ex_2_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_3_1.ma" {"matita/myshare/lib/lambda/xoa/ex_3_1.ma"} "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_3_2.ma" {"matita/myshare/lib/lambda/xoa/ex_3_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_3_3.ma" {"matita/myshare/lib/lambda/xoa/ex_3_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_3_4.ma" {"matita/myshare/lib/lambda/xoa/ex_3_4.ma"} "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_4_1.ma" {"matita/myshare/lib/lambda/xoa/ex_4_1.ma"} "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_4_2.ma" {"matita/myshare/lib/lambda/xoa/ex_4_2.ma"} "_build/install/default/share/matita/myshare/lib/lambda/xoa/ex_4_3.ma" {"matita/myshare/lib/lambda/xoa/ex_4_3.ma"} "_build/install/default/share/matita/myshare/lib/lambda/xoa/or_3.ma" {"matita/myshare/lib/lambda/xoa/or_3.ma"} "_build/install/default/share/matita/myshare/lib/preamble.hs" {"matita/myshare/lib/preamble.hs"} "_build/install/default/share/matita/myshare/lib/preamble.ml" {"matita/myshare/lib/preamble.ml"} "_build/install/default/share/matita/myshare/lib/pts_dummy/CC2FO_K.ma" {"matita/myshare/lib/pts_dummy/CC2FO_K.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/CC2FO_K_cube.ma" {"matita/myshare/lib/pts_dummy/CC2FO_K_cube.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/arity.ma" {"matita/myshare/lib/pts_dummy/arity.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/arity_eval.ma" {"matita/myshare/lib/pts_dummy/arity_eval.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/convertibility.ma" {"matita/myshare/lib/pts_dummy/convertibility.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/cube.ma" {"matita/myshare/lib/pts_dummy/cube.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/degree.ma" {"matita/myshare/lib/pts_dummy/degree.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/ext.ma" {"matita/myshare/lib/pts_dummy/ext.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/ext_lambda.ma" {"matita/myshare/lib/pts_dummy/ext_lambda.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/inversion.ma" {"matita/myshare/lib/pts_dummy/inversion.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/lambda_notation.ma" {"matita/myshare/lib/pts_dummy/lambda_notation.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/lift.ma" {"matita/myshare/lib/pts_dummy/lift.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/par_reduction.ma" {"matita/myshare/lib/pts_dummy/par_reduction.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/rc_eval.ma" {"matita/myshare/lib/pts_dummy/rc_eval.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/rc_hsat.ma" {"matita/myshare/lib/pts_dummy/rc_hsat.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/rc_sat.ma" {"matita/myshare/lib/pts_dummy/rc_sat.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/reduction.ma" {"matita/myshare/lib/pts_dummy/reduction.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/sn.ma" {"matita/myshare/lib/pts_dummy/sn.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/subject.ma" {"matita/myshare/lib/pts_dummy/subject.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/subst.ma" {"matita/myshare/lib/pts_dummy/subst.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/subterms.ma" {"matita/myshare/lib/pts_dummy/subterms.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/terms.ma" {"matita/myshare/lib/pts_dummy/terms.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy/types.ma" {"matita/myshare/lib/pts_dummy/types.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/arity.ma" {"matita/myshare/lib/pts_dummy_new/arity.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/arity_eval.ma" {"matita/myshare/lib/pts_dummy_new/arity_eval.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/convertibility.ma" {"matita/myshare/lib/pts_dummy_new/convertibility.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/cube.ma" {"matita/myshare/lib/pts_dummy_new/cube.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/ext.ma" {"matita/myshare/lib/pts_dummy_new/ext.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/ext_lambda.ma" {"matita/myshare/lib/pts_dummy_new/ext_lambda.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/inversion.ma" {"matita/myshare/lib/pts_dummy_new/inversion.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/lambda_notation.ma" {"matita/myshare/lib/pts_dummy_new/lambda_notation.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/par_reduction.ma" {"matita/myshare/lib/pts_dummy_new/par_reduction.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/rc_eval.ma" {"matita/myshare/lib/pts_dummy_new/rc_eval.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/rc_hsat.ma" {"matita/myshare/lib/pts_dummy_new/rc_hsat.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/rc_sat.ma" {"matita/myshare/lib/pts_dummy_new/rc_sat.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/reduction.ma" {"matita/myshare/lib/pts_dummy_new/reduction.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/sn.ma" {"matita/myshare/lib/pts_dummy_new/sn.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/subject.ma" {"matita/myshare/lib/pts_dummy_new/subject.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/subst.ma" {"matita/myshare/lib/pts_dummy_new/subst.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/subterms.ma" {"matita/myshare/lib/pts_dummy_new/subterms.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/terms.ma" {"matita/myshare/lib/pts_dummy_new/terms.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/thinning.ma" {"matita/myshare/lib/pts_dummy_new/thinning.ma"} "_build/install/default/share/matita/myshare/lib/pts_dummy_new/types.ma" {"matita/myshare/lib/pts_dummy_new/types.ma"} "_build/install/default/share/matita/myshare/lib/re/lang.ma" {"matita/myshare/lib/re/lang.ma"} "_build/install/default/share/matita/myshare/lib/re/moves.ma" {"matita/myshare/lib/re/moves.ma"} "_build/install/default/share/matita/myshare/lib/re/re.ma" {"matita/myshare/lib/re/re.ma"} "_build/install/default/share/matita/myshare/lib/re/reb.ma" {"matita/myshare/lib/re/reb.ma"} "_build/install/default/share/matita/myshare/lib/reverse_complexity/almost.ma" {"matita/myshare/lib/reverse_complexity/almost.ma"} "_build/install/default/share/matita/myshare/lib/reverse_complexity/basics.ma" {"matita/myshare/lib/reverse_complexity/basics.ma"} "_build/install/default/share/matita/myshare/lib/reverse_complexity/big_O.ma" {"matita/myshare/lib/reverse_complexity/big_O.ma"} "_build/install/default/share/matita/myshare/lib/reverse_complexity/bigops_compl.ma" {"matita/myshare/lib/reverse_complexity/bigops_compl.ma"} "_build/install/default/share/matita/myshare/lib/reverse_complexity/complexity.ma" {"matita/myshare/lib/reverse_complexity/complexity.ma"} "_build/install/default/share/matita/myshare/lib/reverse_complexity/gap.ma" {"matita/myshare/lib/reverse_complexity/gap.ma"} "_build/install/default/share/matita/myshare/lib/reverse_complexity/hierarchy.ma" {"matita/myshare/lib/reverse_complexity/hierarchy.ma"} "_build/install/default/share/matita/myshare/lib/reverse_complexity/sigma_diseq.ma" {"matita/myshare/lib/reverse_complexity/sigma_diseq.ma"} "_build/install/default/share/matita/myshare/lib/reverse_complexity/speed_clean.ma" {"matita/myshare/lib/reverse_complexity/speed_clean.ma"} "_build/install/default/share/matita/myshare/lib/reverse_complexity/speed_def.ma" {"matita/myshare/lib/reverse_complexity/speed_def.ma"} "_build/install/default/share/matita/myshare/lib/reverse_complexity/speed_new.ma" {"matita/myshare/lib/reverse_complexity/speed_new.ma"} "_build/install/default/share/matita/myshare/lib/reverse_complexity/speedup.ma" {"matita/myshare/lib/reverse_complexity/speedup.ma"} "_build/install/default/share/matita/myshare/lib/reverse_complexity/toolkit.ma" {"matita/myshare/lib/reverse_complexity/toolkit.ma"} "_build/install/default/share/matita/myshare/lib/root" {"matita/myshare/lib/root"} "_build/install/default/share/matita/myshare/lib/self_typing.ma" {"matita/myshare/lib/self_typing.ma"} "_build/install/default/share/matita/myshare/lib/turing/auxiliary_machines.ma" {"matita/myshare/lib/turing/auxiliary_machines.ma"} "_build/install/default/share/matita/myshare/lib/turing/auxiliary_machines1.ma" {"matita/myshare/lib/turing/auxiliary_machines1.ma"} "_build/install/default/share/matita/myshare/lib/turing/auxiliary_multi_machines.ma" {"matita/myshare/lib/turing/auxiliary_multi_machines.ma"} "_build/install/default/share/matita/myshare/lib/turing/basic_machines.ma" {"matita/myshare/lib/turing/basic_machines.ma"} "_build/install/default/share/matita/myshare/lib/turing/basic_multi_machines.ma" {"matita/myshare/lib/turing/basic_multi_machines.ma"} "_build/install/default/share/matita/myshare/lib/turing/complexity.ma" {"matita/myshare/lib/turing/complexity.ma"} "_build/install/default/share/matita/myshare/lib/turing/if_machine.ma" {"matita/myshare/lib/turing/if_machine.ma"} "_build/install/default/share/matita/myshare/lib/turing/if_multi.ma" {"matita/myshare/lib/turing/if_multi.ma"} "_build/install/default/share/matita/myshare/lib/turing/inject.ma" {"matita/myshare/lib/turing/inject.ma"} "_build/install/default/share/matita/myshare/lib/turing/mono.ma" {"matita/myshare/lib/turing/mono.ma"} "_build/install/default/share/matita/myshare/lib/turing/move_char.ma" {"matita/myshare/lib/turing/move_char.ma"} "_build/install/default/share/matita/myshare/lib/turing/multi_to_mono/exec_moves.ma" {"matita/myshare/lib/turing/multi_to_mono/exec_moves.ma"} "_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"} "_build/install/default/share/matita/myshare/lib/turing/multi_to_mono/full.ma" {"matita/myshare/lib/turing/multi_to_mono/full.ma"} "_build/install/default/share/matita/myshare/lib/turing/multi_to_mono/shift_trace.ma" {"matita/myshare/lib/turing/multi_to_mono/shift_trace.ma"} "_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"} "_build/install/default/share/matita/myshare/lib/turing/multi_to_mono/step.ma" {"matita/myshare/lib/turing/multi_to_mono/step.ma"} "_build/install/default/share/matita/myshare/lib/turing/multi_to_mono/trace_alphabet.ma" {"matita/myshare/lib/turing/multi_to_mono/trace_alphabet.ma"} "_build/install/default/share/matita/myshare/lib/turing/multi_universal/alphabet.ma" {"matita/myshare/lib/turing/multi_universal/alphabet.ma"} "_build/install/default/share/matita/myshare/lib/turing/multi_universal/binaryTM.ma" {"matita/myshare/lib/turing/multi_universal/binaryTM.ma"} "_build/install/default/share/matita/myshare/lib/turing/multi_universal/match.ma" {"matita/myshare/lib/turing/multi_universal/match.ma"} "_build/install/default/share/matita/myshare/lib/turing/multi_universal/normalTM.ma" {"matita/myshare/lib/turing/multi_universal/normalTM.ma"} "_build/install/default/share/matita/myshare/lib/turing/multi_universal/tuples.ma" {"matita/myshare/lib/turing/multi_universal/tuples.ma"} "_build/install/default/share/matita/myshare/lib/turing/multi_universal/unistep.ma" {"matita/myshare/lib/turing/multi_universal/unistep.ma"} "_build/install/default/share/matita/myshare/lib/turing/multi_universal/unistep_aux.ma" {"matita/myshare/lib/turing/multi_universal/unistep_aux.ma"} "_build/install/default/share/matita/myshare/lib/turing/multi_universal/universal.ma" {"matita/myshare/lib/turing/multi_universal/universal.ma"} "_build/install/default/share/matita/myshare/lib/turing/ntm.ma" {"matita/myshare/lib/turing/ntm.ma"} "_build/install/default/share/matita/myshare/lib/turing/oracle.ma" {"matita/myshare/lib/turing/oracle.ma"} "_build/install/default/share/matita/myshare/lib/turing/turing.ma" {"matita/myshare/lib/turing/turing.ma"} "_build/install/default/share/matita/myshare/lib/turing/turing_old.ma" {"matita/myshare/lib/turing/turing_old.ma"} "_build/install/default/share/matita/myshare/lib/turing/universal.ma" {"matita/myshare/lib/turing/universal.ma"} "_build/install/default/share/matita/myshare/lib/turing/while_machine.ma" {"matita/myshare/lib/turing/while_machine.ma"} "_build/install/default/share/matita/myshare/lib/turing/while_multi.ma" {"matita/myshare/lib/turing/while_multi.ma"} "_build/install/default/share/matita/myshare/lib/turing/wmono.ma" {"matita/myshare/lib/turing/wmono.ma"} "_build/install/default/share/matita/myshare/lib/tutorial/chapter1.ma" {"matita/myshare/lib/tutorial/chapter1.ma"} "_build/install/default/share/matita/myshare/lib/tutorial/chapter10.ma" {"matita/myshare/lib/tutorial/chapter10.ma"} "_build/install/default/share/matita/myshare/lib/tutorial/chapter11.ma" {"matita/myshare/lib/tutorial/chapter11.ma"} "_build/install/default/share/matita/myshare/lib/tutorial/chapter12.ma" {"matita/myshare/lib/tutorial/chapter12.ma"} "_build/install/default/share/matita/myshare/lib/tutorial/chapter13.ma" {"matita/myshare/lib/tutorial/chapter13.ma"} "_build/install/default/share/matita/myshare/lib/tutorial/chapter2.ma" {"matita/myshare/lib/tutorial/chapter2.ma"} "_build/install/default/share/matita/myshare/lib/tutorial/chapter3.ma" {"matita/myshare/lib/tutorial/chapter3.ma"} "_build/install/default/share/matita/myshare/lib/tutorial/chapter4.ma" {"matita/myshare/lib/tutorial/chapter4.ma"} "_build/install/default/share/matita/myshare/lib/tutorial/chapter5.ma" {"matita/myshare/lib/tutorial/chapter5.ma"} "_build/install/default/share/matita/myshare/lib/tutorial/chapter6.ma" {"matita/myshare/lib/tutorial/chapter6.ma"} "_build/install/default/share/matita/myshare/lib/tutorial/chapter7.ma" {"matita/myshare/lib/tutorial/chapter7.ma"} "_build/install/default/share/matita/myshare/lib/tutorial/chapter8.ma" {"matita/myshare/lib/tutorial/chapter8.ma"} "_build/install/default/share/matita/myshare/lib/tutorial/chapter9.ma" {"matita/myshare/lib/tutorial/chapter9.ma"} "_build/install/default/share/matita/myshare/matita.conf.xml" {"matita/myshare/matita.conf.xml"} "_build/install/default/share/matita/myshare/matita.gtkrc" {"matita/myshare/matita.gtkrc"} "_build/install/default/share/matita/myshare/matita.lang" {"matita/myshare/matita.lang"} "_build/install/default/share/matita/myshare/matita.ma.templ" {"matita/myshare/matita.ma.templ"} ] doc: [ "_build/install/default/doc/matita/html/WrtCoq.html" {"html/WrtCoq.html"} "_build/install/default/doc/matita/html/authoring.html" {"html/authoring.html"} "_build/install/default/doc/matita/html/axiom_definition_declaration.html" {"html/axiom_definition_declaration.html"} "_build/install/default/doc/matita/html/ch05s02.html" {"html/ch05s02.html"} "_build/install/default/doc/matita/html/cicbrowser.html" {"html/cicbrowser.html"} "_build/install/default/doc/matita/html/command_check.html" {"html/command_check.html"} "_build/install/default/doc/matita/html/command_coercion.html" {"html/command_coercion.html"} "_build/install/default/doc/matita/html/command_include.html" {"html/command_include.html"} "_build/install/default/doc/matita/html/command_include_alias.html" {"html/command_include_alias.html"} "_build/install/default/doc/matita/html/command_qed.html" {"html/command_qed.html"} "_build/install/default/doc/matita/html/command_qed_minus.html" {"html/command_qed_minus.html"} "_build/install/default/doc/matita/html/command_unification_hint.html" {"html/command_unification_hint.html"} "_build/install/default/doc/matita/html/command_universe_constraints.html" {"html/command_universe_constraints.html"} "_build/install/default/doc/matita/html/docbook.css" {"html/docbook.css"} "_build/install/default/doc/matita/html/figures/database.dia" {"html/figures/database.dia"} "_build/install/default/doc/matita/html/figures/database.png" {"html/figures/database.png"} "_build/install/default/doc/matita/html/figures/matita.png" {"html/figures/matita.png"} "_build/install/default/doc/matita/html/figures/vbox1.png" {"html/figures/vbox1.png"} "_build/install/default/doc/matita/html/figures/vbox2.png" {"html/figures/vbox2.png"} "_build/install/default/doc/matita/html/figures/vbox3.png" {"html/figures/vbox3.png"} "_build/install/default/doc/matita/html/figures/vbox35.png" {"html/figures/vbox35.png"} "_build/install/default/doc/matita/html/figures/vbox4.png" {"html/figures/vbox4.png"} "_build/install/default/doc/matita/html/figures/vbox5.png" {"html/figures/vbox5.png"} "_build/install/default/doc/matita/html/figures/vbox6.png" {"html/figures/vbox6.png"} "_build/install/default/doc/matita/html/figures/vbox7.png" {"html/figures/vbox7.png"} "_build/install/default/doc/matita/html/index.html" {"html/index.html"} "_build/install/default/doc/matita/html/inst_from_src.html" {"html/inst_from_src.html"} "_build/install/default/doc/matita/html/macro_intro.html" {"html/macro_intro.html"} "_build/install/default/doc/matita/html/proofs.html" {"html/proofs.html"} "_build/install/default/doc/matita/html/proofstatus.html" {"html/proofstatus.html"} "_build/install/default/doc/matita/html/sec_commands.html" {"html/sec_commands.html"} "_build/install/default/doc/matita/html/sec_declarative_tactics.html" {"html/sec_declarative_tactics.html"} "_build/install/default/doc/matita/html/sec_gettingstarted.html" {"html/sec_gettingstarted.html"} "_build/install/default/doc/matita/html/sec_install.html" {"html/sec_install.html"} "_build/install/default/doc/matita/html/sec_intro.html" {"html/sec_intro.html"} "_build/install/default/doc/matita/html/sec_license.html" {"html/sec_license.html"} "_build/install/default/doc/matita/html/sec_tacticals.html" {"html/sec_tacticals.html"} "_build/install/default/doc/matita/html/sec_tactics.html" {"html/sec_tactics.html"} "_build/install/default/doc/matita/html/sec_terms.html" {"html/sec_terms.html"} "_build/install/default/doc/matita/html/sec_usernotation.html" {"html/sec_usernotation.html"} "_build/install/default/doc/matita/html/tac_andelim.html" {"html/tac_andelim.html"} "_build/install/default/doc/matita/html/tac_apply.html" {"html/tac_apply.html"} "_build/install/default/doc/matita/html/tac_applyS.html" {"html/tac_applyS.html"} "_build/install/default/doc/matita/html/tac_assume.html" {"html/tac_assume.html"} "_build/install/default/doc/matita/html/tac_assumption.html" {"html/tac_assumption.html"} "_build/install/default/doc/matita/html/tac_auto.html" {"html/tac_auto.html"} "_build/install/default/doc/matita/html/tac_bydone.html" {"html/tac_bydone.html"} "_build/install/default/doc/matita/html/tac_byinduction.html" {"html/tac_byinduction.html"} "_build/install/default/doc/matita/html/tac_bytermweproved.html" {"html/tac_bytermweproved.html"} "_build/install/default/doc/matita/html/tac_case.html" {"html/tac_case.html"} "_build/install/default/doc/matita/html/tac_cases.html" {"html/tac_cases.html"} "_build/install/default/doc/matita/html/tac_change.html" {"html/tac_change.html"} "_build/install/default/doc/matita/html/tac_clear.html" {"html/tac_clear.html"} "_build/install/default/doc/matita/html/tac_conclude.html" {"html/tac_conclude.html"} "_build/install/default/doc/matita/html/tac_constructor.html" {"html/tac_constructor.html"} "_build/install/default/doc/matita/html/tac_cut.html" {"html/tac_cut.html"} "_build/install/default/doc/matita/html/tac_decompose.html" {"html/tac_decompose.html"} "_build/install/default/doc/matita/html/tac_destruct.html" {"html/tac_destruct.html"} "_build/install/default/doc/matita/html/tac_elim.html" {"html/tac_elim.html"} "_build/install/default/doc/matita/html/tac_existselim.html" {"html/tac_existselim.html"} "_build/install/default/doc/matita/html/tac_generalize.html" {"html/tac_generalize.html"} "_build/install/default/doc/matita/html/tac_intro.html" {"html/tac_intro.html"} "_build/install/default/doc/matita/html/tac_intro_clear.html" {"html/tac_intro_clear.html"} "_build/install/default/doc/matita/html/tac_inversion.html" {"html/tac_inversion.html"} "_build/install/default/doc/matita/html/tac_lapply.html" {"html/tac_lapply.html"} "_build/install/default/doc/matita/html/tac_let.html" {"html/tac_let.html"} "_build/install/default/doc/matita/html/tac_letin.html" {"html/tac_letin.html"} "_build/install/default/doc/matita/html/tac_normalize.html" {"html/tac_normalize.html"} "_build/install/default/doc/matita/html/tac_obtain.html" {"html/tac_obtain.html"} "_build/install/default/doc/matita/html/tac_rewrite.html" {"html/tac_rewrite.html"} "_build/install/default/doc/matita/html/tac_rewrite_step.html" {"html/tac_rewrite_step.html"} "_build/install/default/doc/matita/html/tac_suppose.html" {"html/tac_suppose.html"} "_build/install/default/doc/matita/html/tac_thatisequivalentto.html" {"html/tac_thatisequivalentto.html"} "_build/install/default/doc/matita/html/tac_thesisbecomes.html" {"html/tac_thesisbecomes.html"} "_build/install/default/doc/matita/html/tac_weneedtoprove.html" {"html/tac_weneedtoprove.html"} "_build/install/default/doc/matita/html/tac_weproceedbycases.html" {"html/tac_weproceedbycases.html"} "_build/install/default/doc/matita/html/tac_weproceedbyinduction.html" {"html/tac_weproceedbyinduction.html"} "_build/install/default/doc/matita/html/tac_whd.html" {"html/tac_whd.html"} "_build/install/default/doc/matita/html/tacticals.html" {"html/tacticals.html"} "_build/install/default/doc/matita/html/tacticargs.html" {"html/tacticargs.html"} "_build/install/default/doc/matita/matita.pdf" ]