├── .gitignore ├── .gitmodules ├── .merlin ├── COMPILE.txt ├── Makefile ├── README_MATITA_WITH_ELPI.txt ├── abella ├── Makefile ├── cic.mod ├── cic.sig ├── cic.thm ├── copy.thm ├── lib.thm ├── metacic.mod ├── metacic.sig └── metacic.thm ├── lib ├── environment_matita.elpi ├── lambda.elpi ├── list.elpi ├── logic.elpi ├── pts_cic.elpi ├── pts_helpers.elpi └── spy.elpi ├── matita ├── Makefile ├── Makefile.defs.in ├── components │ ├── METAS │ │ ├── meta.helm-content.src │ │ ├── meta.helm-content_pres.src │ │ ├── meta.helm-disambiguation.src │ │ ├── meta.helm-extlib.src │ │ ├── meta.helm-getter.src │ │ ├── meta.helm-grafite.src │ │ ├── meta.helm-grafite_engine.src │ │ ├── meta.helm-grafite_parser.src │ │ ├── meta.helm-library.src │ │ ├── meta.helm-logger.src │ │ ├── meta.helm-ng_cic_content.src │ │ ├── meta.helm-ng_disambiguation.src │ │ ├── meta.helm-ng_extraction.src │ │ ├── meta.helm-ng_kernel.src │ │ ├── meta.helm-ng_library.src │ │ ├── meta.helm-ng_paramodulation.src │ │ ├── meta.helm-ng_refiner.src │ │ ├── meta.helm-ng_tactics.src │ │ ├── meta.helm-registry.src │ │ ├── meta.helm-syntax_extensions.src │ │ ├── meta.helm-thread.src │ │ ├── meta.helm-ulex08.src │ │ └── meta.helm-xml.src │ ├── Makefile │ ├── Makefile.common │ ├── content │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── content.ml │ │ ├── content.mli │ │ ├── notationEnv.ml │ │ ├── notationEnv.mli │ │ ├── notationPp.ml │ │ ├── notationPp.mli │ │ ├── notationPt.ml │ │ ├── notationUtil.ml │ │ └── notationUtil.mli │ ├── content_pres │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── box.ml │ │ ├── box.mli │ │ ├── boxPp.ml │ │ ├── boxPp.mli │ │ ├── cicNotationLexer.ml │ │ ├── cicNotationLexer.mli │ │ ├── cicNotationParser.ml │ │ ├── cicNotationParser.mli │ │ ├── cicNotationPres.ml │ │ ├── cicNotationPres.mli │ │ ├── content2pres.ml │ │ ├── content2pres.mli │ │ ├── content2presMatcher.ml │ │ ├── content2presMatcher.mli │ │ ├── mpresentation.ml │ │ ├── mpresentation.mli │ │ ├── renderingAttrs.ml │ │ ├── renderingAttrs.mli │ │ ├── termContentPres.ml │ │ └── termContentPres.mli │ ├── disambiguation │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── disambiguate.crit2.ml │ │ ├── disambiguate.crit4.ml │ │ ├── disambiguate.ml │ │ ├── disambiguate.mli │ │ ├── disambiguateTypes.ml │ │ ├── disambiguateTypes.mli │ │ ├── multiPassDisambiguator.ml │ │ └── multiPassDisambiguator.mli │ ├── extlib │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── componentsConf.ml.in │ │ ├── componentsConf.mli │ │ ├── discrimination_tree.ml │ │ ├── discrimination_tree.mli │ │ ├── graphvizPp.ml │ │ ├── graphvizPp.mli │ │ ├── hExtlib.ml │ │ ├── hExtlib.mli │ │ ├── hLog.ml │ │ ├── hLog.mli │ │ ├── hMarshal.ml │ │ ├── hMarshal.mli │ │ ├── hTopoSort.ml │ │ ├── hTopoSort.mli │ │ ├── patternMatcher.ml │ │ ├── patternMatcher.mli │ │ ├── trie.ml │ │ └── trie.mli │ ├── getter │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── .ocamlinit │ │ ├── Makefile │ │ ├── http_getter.ml │ │ ├── http_getter.mli │ │ ├── http_getter_common.ml │ │ ├── http_getter_common.mli │ │ ├── http_getter_const.ml │ │ ├── http_getter_const.mli │ │ ├── http_getter_env.ml │ │ ├── http_getter_env.mli │ │ ├── http_getter_logger.ml │ │ ├── http_getter_logger.mli │ │ ├── http_getter_misc.ml │ │ ├── http_getter_misc.mli │ │ ├── http_getter_storage.ml │ │ ├── http_getter_storage.mli │ │ ├── http_getter_types.ml │ │ ├── http_getter_wget.ml │ │ ├── http_getter_wget.mli │ │ ├── mkindexes.pl │ │ ├── sample.conf.xml │ │ └── test.ml │ ├── grafite │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── grafiteAst.ml │ │ ├── grafiteAstPp.ml │ │ └── grafiteAstPp.mli │ ├── grafite_engine │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── grafiteEngine.ml │ │ ├── grafiteEngine.mli │ │ ├── grafiteTypes.ml │ │ ├── grafiteTypes.mli │ │ ├── nCicCoercDeclaration.ml │ │ └── nCicCoercDeclaration.mli │ ├── grafite_parser │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── grafiteParser.ml │ │ ├── grafiteParser.mli │ │ ├── print_grammar.ml │ │ └── print_grammar.mli │ ├── library │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── librarian.ml │ │ ├── librarian.mli │ │ ├── libraryClean.ml │ │ ├── libraryClean.mli │ │ ├── libraryMisc.ml │ │ └── libraryMisc.mli │ ├── license │ ├── logger │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── helmLogger.ml │ │ └── helmLogger.mli │ ├── ng_cic_content │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── interpretations.ml │ │ ├── interpretations.mli │ │ ├── ncic2astMatcher.ml │ │ └── ncic2astMatcher.mli │ ├── ng_disambiguation │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── disambiguateChoices.ml │ │ ├── disambiguateChoices.mli │ │ ├── grafiteDisambiguate.ml │ │ ├── grafiteDisambiguate.mli │ │ ├── nCicDisambiguate.ml │ │ ├── nCicDisambiguate.mli │ │ ├── nnumber_notation.ml │ │ └── nnumber_notation.mli │ ├── ng_extraction │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── common.ml │ │ ├── common.mli │ │ ├── coq.ml │ │ ├── coq.mli │ │ ├── extraction.ml │ │ ├── extraction.mli │ │ ├── miniml.ml │ │ ├── mlutil.ml │ │ ├── mlutil.mli │ │ ├── nCicExtraction.ml │ │ ├── nCicExtraction.mli │ │ ├── ocaml.ml │ │ ├── ocaml.mli │ │ ├── ocamlExtraction.ml │ │ ├── ocamlExtraction.mli │ │ ├── ocamlExtractionTable.ml │ │ └── ocamlExtractionTable.mli │ ├── ng_kernel │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── TEST │ │ ├── TODO │ │ ├── alluris.txt │ │ ├── bug_universi.ma │ │ ├── nCic.ml │ │ ├── nCicELPI.ml │ │ ├── nCicELPI.mli │ │ ├── nCicEnvironment.ml │ │ ├── nCicEnvironment.mli │ │ ├── nCicPp.ml │ │ ├── nCicPp.mli │ │ ├── nCicReduction.ml │ │ ├── nCicReduction.mli │ │ ├── nCicSubstitution.ml │ │ ├── nCicSubstitution.mli │ │ ├── nCicTypeChecker.ml │ │ ├── nCicTypeChecker.mli │ │ ├── nCicUntrusted.ml │ │ ├── nCicUntrusted.mli │ │ ├── nCicUtils.ml │ │ ├── nCicUtils.mli │ │ ├── nReference.ml │ │ ├── nReference.mli │ │ ├── nUri.ml │ │ ├── nUri.mli │ │ ├── paper.txt │ │ └── test.ma │ ├── ng_library │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── nCicLibrary.ml │ │ └── nCicLibrary.mli │ ├── ng_paramodulation │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── foSubst.ml │ │ ├── foSubst.mli │ │ ├── foUnif.ml │ │ ├── foUnif.mli │ │ ├── foUtils.ml │ │ ├── foUtils.mli │ │ ├── index.ml │ │ ├── index.mli │ │ ├── nCicBlob.ml │ │ ├── nCicBlob.mli │ │ ├── nCicParamod.ml │ │ ├── nCicParamod.mli │ │ ├── nCicProof.ml │ │ ├── nCicProof.mli │ │ ├── orderings.ml │ │ ├── orderings.mli │ │ ├── paramod.ml │ │ ├── paramod.mli │ │ ├── pp.ml │ │ ├── pp.mli │ │ ├── stats.ml │ │ ├── stats.mli │ │ ├── superposition.ml │ │ ├── superposition.mli │ │ ├── terms.ml │ │ └── terms.mli │ ├── ng_refiner │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── esempio.ma │ │ ├── nCicCoercion.ml │ │ ├── nCicCoercion.mli │ │ ├── nCicMetaSubst.ml │ │ ├── nCicMetaSubst.mli │ │ ├── nCicRefineUtil.ml │ │ ├── nCicRefineUtil.mli │ │ ├── nCicRefiner.ml │ │ ├── nCicRefiner.mli │ │ ├── nCicUnifHint.ml │ │ ├── nCicUnifHint.mli │ │ ├── nCicUnification.ml │ │ ├── nCicUnification.mli │ │ ├── nDiscriminationTree.ml │ │ ├── nDiscriminationTree.mli │ │ └── oMeta2nMeta.ml │ ├── ng_tactics │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── README │ │ ├── continuationals.ml │ │ ├── continuationals.mli │ │ ├── nCicElim.ml │ │ ├── nCicElim.mli │ │ ├── nCicTacReduction.ml │ │ ├── nCicTacReduction.mli │ │ ├── nDestructTac.ml │ │ ├── nDestructTac.mli │ │ ├── nInversion.ml │ │ ├── nInversion.mli │ │ ├── nTacStatus.ml │ │ ├── nTacStatus.mli │ │ ├── nTactics.ml │ │ ├── nTactics.mli │ │ ├── nnAuto.ml │ │ └── nnAuto.mli │ ├── registry │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── .ocamlinit │ │ ├── Makefile │ │ ├── helm_registry.ml │ │ ├── helm_registry.mli │ │ ├── test.ml │ │ └── tests │ │ │ ├── sample.xml │ │ │ └── sample_include.xml │ ├── statuses.txt │ ├── syntax_extensions │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── README.syntax │ │ ├── data │ │ │ ├── dictionary-tex.xml │ │ │ ├── entities-table.xml │ │ │ └── extra-entities.xml │ │ ├── make_table.ml │ │ ├── pa_unicode_macro.ml │ │ ├── profiling_macros.ml │ │ ├── test.ml │ │ ├── utf8Macro.ml │ │ ├── utf8Macro.mli │ │ ├── utf8MacroTable.ml │ │ └── utf8MacroTable.ml.txt │ ├── thread │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── extThread.ml │ │ ├── extThread.mli │ │ ├── fake │ │ │ ├── threadSafe.ml │ │ │ └── threadSafe.mli │ │ ├── threadSafe.ml │ │ └── threadSafe.mli │ ├── ulex08 │ │ ├── CHANGES │ │ ├── LICENSE │ │ ├── Makefile │ │ ├── README │ │ ├── cset.ml │ │ ├── custom_ulexing.ml │ │ ├── mk_pa_ulex.ml │ │ ├── pa_ulex.ml │ │ ├── pa_ulex.ml.src │ │ ├── test.ml │ │ ├── ulex.ml │ │ ├── ulex.mli │ │ ├── ulexing.ml │ │ ├── ulexing.mli │ │ ├── utf16.ml │ │ ├── utf16.mli │ │ ├── utf8.ml │ │ ├── utf8.mli │ │ └── utf8_test.ml │ └── xml │ │ ├── .depend │ │ ├── .depend.opt │ │ ├── Makefile │ │ ├── test.ml │ │ ├── xml.ml │ │ ├── xml.mli │ │ ├── xmlPushParser.ml │ │ └── xmlPushParser.mli ├── configure.ac └── matita │ ├── .depend │ ├── .depend.opt │ ├── AUTHORS │ ├── DA_FARE │ ├── LICENSE │ ├── Makefile │ ├── applyTransformation.ml │ ├── applyTransformation.mli │ ├── buildTimeConf.ml.in │ ├── cicMathView.ml │ ├── cicMathView.mli │ ├── closed.xml │ ├── dictionary-matita.xml │ ├── help │ └── C │ │ └── version.txt.in │ ├── icons │ ├── matita-32.xpm │ ├── matita-bulb-high.png │ ├── matita-bulb-low.png │ ├── matita-bulb-medium.png │ ├── matita-folder.png │ ├── matita-object.png │ ├── matita-theory.png │ ├── matita.png │ ├── matita_medium.png │ ├── matita_small.png │ ├── matita_very_small.png │ ├── meegg.png │ ├── whelp.png │ └── whelp.svg │ ├── lablGraphviz.ml │ ├── lablGraphviz.mli │ ├── lib │ ├── MONADS │ │ ├── speranza.ma │ │ └── speranza2.ma │ ├── Makefile │ ├── alias.sed │ ├── arithmetics │ │ ├── Makefile │ │ ├── bigops.ma │ │ ├── binomial.ma │ │ ├── bounded_quantifiers.ma │ │ ├── chebyshev │ │ │ ├── bertrand.ma │ │ │ ├── bertrand256.ma │ │ │ ├── chebyshev_psi.ma │ │ │ ├── chebyshev_theta.ma │ │ │ ├── factorization.ma │ │ │ └── psi_bounds.ma │ │ ├── chinese_reminder.ma │ │ ├── congruence.ma │ │ ├── div_and_mod.ma │ │ ├── exp.ma │ │ ├── factorial.ma │ │ ├── fermat_little_theorem.ma │ │ ├── gcd.ma │ │ ├── iteration.ma │ │ ├── log.ma │ │ ├── lstar.ma │ │ ├── minimization.ma │ │ ├── nat.ma │ │ ├── nat_commented.ma │ │ ├── nth_prime.ma │ │ ├── ord.ma │ │ ├── permutation.ma │ │ ├── pidgeon_hole.ma │ │ ├── primes.ma │ │ ├── sigma_pi.ma │ │ ├── sqrt.ma │ │ └── tassi_example.ma │ ├── basics │ │ ├── bool.ma │ │ ├── core_notation.ma │ │ ├── deqsets.ma │ │ ├── finset.ma │ │ ├── jmeq.ma │ │ ├── lists │ │ │ ├── list.ma │ │ │ ├── listb.ma │ │ │ └── lstar.ma │ │ ├── logic.ma │ │ ├── pts.ma │ │ ├── relations.ma │ │ ├── russell.ma │ │ ├── sets.ma │ │ ├── star.ma │ │ ├── star1.ma │ │ ├── types.ma │ │ ├── vector_finset.ma │ │ └── vectors.ma │ ├── binding │ │ ├── db.ma │ │ ├── fp.ma │ │ ├── ln.ma │ │ ├── ln_concrete.ma │ │ └── names.ma │ ├── extraction.ma │ ├── fail.txt │ ├── finite_lambda │ │ ├── confluence.ma │ │ ├── reduction.ma │ │ ├── terms_and_types.ma │ │ └── typing.ma │ ├── formal_topology │ │ ├── apply_functor.ma │ │ ├── basic_pairs.ma │ │ ├── basic_pairs_to_basic_topologies.ma │ │ ├── basic_pairs_to_o-basic_pairs.ma │ │ ├── basic_topologies.ma │ │ ├── basic_topologies_to_o-basic_topologies.ma │ │ ├── categories.ma │ │ ├── concrete_spaces.ma │ │ ├── concrete_spaces_to_o-concrete_spaces.ma │ │ ├── cprop_connectives.ma │ │ ├── formal_topologies.ma │ │ ├── notation.ma │ │ ├── o-algebra.ma │ │ ├── o-basic_pairs.ma │ │ ├── o-basic_pairs_to_o-basic_topologies.ma │ │ ├── o-basic_topologies.ma │ │ ├── o-concrete_spaces.ma │ │ ├── o-formal_topologies.ma │ │ ├── o-saturations.ma │ │ ├── r-o-basic_pairs.ma │ │ ├── relations.ma │ │ ├── relations_to_o-algebra.ma │ │ ├── replace.sh │ │ ├── saturations.ma │ │ ├── saturations_to_o-saturations.ma │ │ └── subsets.ma │ ├── hints_declaration.ma │ ├── hott │ │ ├── Overture.ma │ │ ├── PathGroupoids.ma │ │ ├── notations.ma │ │ ├── pts.ma │ │ └── types.ma │ ├── inconsistent.ma │ ├── lambda │ │ ├── Makefile │ │ ├── background │ │ │ ├── notation.ma │ │ │ ├── preamble.ma │ │ │ ├── xoa.ma │ │ │ └── xoa_notation.ma │ │ ├── levels │ │ │ ├── interpretations.ma │ │ │ ├── iterated_abstraction.ma │ │ │ └── term.ma │ │ ├── notation │ │ │ └── functions │ │ │ │ ├── backward_1.ma │ │ │ │ ├── backward_3.ma │ │ │ │ ├── forward_1.ma │ │ │ │ └── forward_3.ma │ │ ├── paths │ │ │ ├── alternative_standard_order.ma │ │ │ ├── decomposed_trace.ma │ │ │ ├── dst_computation.ma │ │ │ ├── labeled_sequential_computation.ma │ │ │ ├── labeled_sequential_reduction.ma │ │ │ ├── labeled_st_computation.ma │ │ │ ├── labeled_st_reduction.ma │ │ │ ├── path.ma │ │ │ ├── standard_order.ma │ │ │ ├── standard_precedence.ma │ │ │ ├── standard_trace.ma │ │ │ └── trace.ma │ │ ├── policy.txt │ │ ├── replace.sh │ │ ├── subterms │ │ │ ├── boolean.ma │ │ │ ├── booleanized.ma │ │ │ ├── carrier.ma │ │ │ ├── relocating_substitution.ma │ │ │ ├── relocation.ma │ │ │ └── subterms.ma │ │ ├── terms │ │ │ ├── iterated_abstraction.ma │ │ │ ├── labeled_sequential_computation.ma │ │ │ ├── multiplicity.ma │ │ │ ├── parallel_computation.ma │ │ │ ├── parallel_reduction.ma │ │ │ ├── relocating_substitution.ma │ │ │ ├── relocation.ma │ │ │ ├── sequential_computation.ma │ │ │ ├── sequential_reduction.ma │ │ │ ├── size.ma │ │ │ └── term.ma │ │ └── xoa.conf.xml │ ├── preamble.hs │ ├── preamble.ml │ ├── pts_dummy │ │ ├── CC2FO_K.ma │ │ ├── CC2FO_K_cube.ma │ │ ├── arity.ma │ │ ├── arity_eval.ma │ │ ├── convertibility.ma │ │ ├── cube.ma │ │ ├── degree.ma │ │ ├── ext.ma │ │ ├── ext_lambda.ma │ │ ├── inversion.ma │ │ ├── lambda_notation.ma │ │ ├── lift.ma │ │ ├── par_reduction.ma │ │ ├── rc_eval.ma │ │ ├── rc_hsat.ma │ │ ├── rc_sat.ma │ │ ├── reduction.ma │ │ ├── sn.ma │ │ ├── subject.ma │ │ ├── subst.ma │ │ ├── subterms.ma │ │ ├── terms.ma │ │ └── types.ma │ ├── pts_dummy_new │ │ ├── arity.ma │ │ ├── arity_eval.ma │ │ ├── convertibility.ma │ │ ├── cube.ma │ │ ├── ext.ma │ │ ├── ext_lambda.ma │ │ ├── inversion.ma │ │ ├── lambda_notation.ma │ │ ├── par_reduction.ma │ │ ├── rc_eval.ma │ │ ├── rc_hsat.ma │ │ ├── rc_sat.ma │ │ ├── reduction.ma │ │ ├── sn.ma │ │ ├── subject.ma │ │ ├── subst.ma │ │ ├── subterms.ma │ │ ├── terms.ma │ │ ├── thinning.ma │ │ └── types.ma │ ├── re │ │ ├── lang.ma │ │ ├── moves.ma │ │ ├── re.ma │ │ └── reb.ma │ ├── reverse_complexity │ │ ├── big_O.ma │ │ ├── gap.ma │ │ ├── hierarchy.ma │ │ ├── speed_clean.ma │ │ ├── speed_def.ma │ │ ├── speed_new.ma │ │ └── toolkit.ma │ ├── root │ ├── self_typing.ma │ ├── turing │ │ ├── auxiliary_machines.ma │ │ ├── auxiliary_machines1.ma │ │ ├── auxiliary_multi_machines.ma │ │ ├── basic_machines.ma │ │ ├── basic_multi_machines.ma │ │ ├── complexity.ma │ │ ├── if_machine.ma │ │ ├── if_multi.ma │ │ ├── inject.ma │ │ ├── mono.ma │ │ ├── move_char.ma │ │ ├── multi_to_mono │ │ │ ├── exec_moves.ma │ │ │ ├── exec_trace_move.ma │ │ │ ├── full.ma │ │ │ ├── multi_to_mono.ma │ │ │ ├── shift_trace.ma │ │ │ ├── shift_trace_aux.ma │ │ │ ├── step.ma │ │ │ └── trace_alphabet.ma │ │ ├── multi_universal │ │ │ ├── alphabet.ma │ │ │ ├── binaryTM.ma │ │ │ ├── match.ma │ │ │ ├── normalTM.ma │ │ │ ├── tuples.ma │ │ │ ├── unistep.ma │ │ │ ├── unistep_aux.ma │ │ │ └── universal.ma │ │ ├── ntm.ma │ │ ├── oracle.ma │ │ ├── turing.ma │ │ ├── turing_old.ma │ │ ├── universal.ma │ │ ├── while_machine.ma │ │ ├── while_multi.ma │ │ └── wmono.ma │ └── tutorial │ │ ├── chapter1.ma │ │ ├── chapter10.ma │ │ ├── chapter11.ma │ │ ├── chapter12.ma │ │ ├── chapter13.ma │ │ ├── chapter2.ma │ │ ├── chapter3.ma │ │ ├── chapter4.ma │ │ ├── chapter5.ma │ │ ├── chapter6.ma │ │ ├── chapter7.ma │ │ ├── chapter8.ma │ │ └── chapter9.ma │ ├── matita.conf.xml.in │ ├── matita.glade │ ├── matita.glade.utf8 │ ├── matita.gtkrc │ ├── matita.lang │ ├── matita.ma.templ │ ├── matita.ml │ ├── matita.txt │ ├── matitaEngine.ml │ ├── matitaEngine.mli │ ├── matitaExcPp.ml │ ├── matitaExcPp.mli │ ├── matitaGtkMisc.ml │ ├── matitaGtkMisc.mli │ ├── matitaGui.ml │ ├── matitaGui.mli │ ├── matitaGuiTypes.mli │ ├── matitaInit.ml │ ├── matitaInit.mli │ ├── matitaMathView.ml │ ├── matitaMathView.mli │ ├── matitaMisc.ml │ ├── matitaMisc.mli │ ├── matitaScript.ml │ ├── matitaScript.mli │ ├── matitaTypes.ml │ ├── matitaTypes.mli │ ├── matitac.ml │ ├── matitaclean.ml │ ├── matitaclean.mli │ ├── predefined_virtuals.ml │ ├── predefined_virtuals.mli │ ├── virtuals.ml │ └── virtuals.mli ├── refiner-ALT-0 ├── debug_end.elpi ├── debug_front.elpi ├── environment_grundlagen.elpi ├── grundlagen.elpi ├── kernel.elpi ├── kernel_case.elpi ├── kernel_global.elpi ├── kernel_inductives.elpi ├── kernel_matita.elpi ├── kernel_pts.elpi ├── pts_cc.elpi ├── pts_cc_predicative.elpi ├── pts_cic_floating.elpi ├── refiner_ecc.elpi └── refiner_pts.elpi ├── refiner-ALT-1 ├── kernel.elpi ├── kernel_case.elpi ├── kernel_computation.elpi ├── kernel_conversion.elpi ├── kernel_global.elpi ├── kernel_inductives.elpi ├── kernel_matita.elpi ├── kernel_pts.elpi └── kernel_trace.elpi └── refiner-CSC ├── PTS_abbr_typing.elpi ├── PTS_cic.elpi ├── PTS_cic_floating.elpi ├── PTS_cic_floating_kernel.elpi ├── PTS_cic_refiner.elpi ├── PTS_ecc.elpi ├── PTS_ecc_floating.elpi ├── PTS_global.elpi ├── PTS_inductives.elpi ├── PTS_kernel_engine.elpi ├── PTS_kernel_reduction.elpi ├── PTS_kernel_reduction0.elpi ├── PTS_machine.elpi ├── PTS_machine_heuristics.elpi ├── PTS_machine_refiner.elpi ├── PTS_match.elpi ├── PTS_match_refiner.elpi ├── PTS_matita.elpi ├── PTS_reduction.elpi ├── PTS_reduction0.elpi ├── PTS_refiner_engine.elpi ├── PTS_typing.elpi ├── PTS_typing_refiner.elpi ├── all_kernel.elpi ├── all_refiner.elpi ├── debug_kernel.elpi ├── environment_matita.elpi ├── floating.elpi ├── list.elpi ├── logic.elpi ├── plus_minus.elpi ├── spy.elpi ├── test_kernel_cic.elpi ├── test_kernel_ecc.elpi ├── test_refiner.elpi └── trace_kernel.elpi /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/.gitmodules -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/.merlin -------------------------------------------------------------------------------- /COMPILE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/COMPILE.txt -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/Makefile -------------------------------------------------------------------------------- /README_MATITA_WITH_ELPI.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/README_MATITA_WITH_ELPI.txt -------------------------------------------------------------------------------- /abella/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/abella/Makefile -------------------------------------------------------------------------------- /abella/cic.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/abella/cic.mod -------------------------------------------------------------------------------- /abella/cic.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/abella/cic.sig -------------------------------------------------------------------------------- /abella/cic.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/abella/cic.thm -------------------------------------------------------------------------------- /abella/copy.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/abella/copy.thm -------------------------------------------------------------------------------- /abella/lib.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/abella/lib.thm -------------------------------------------------------------------------------- /abella/metacic.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/abella/metacic.mod -------------------------------------------------------------------------------- /abella/metacic.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/abella/metacic.sig -------------------------------------------------------------------------------- /abella/metacic.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/abella/metacic.thm -------------------------------------------------------------------------------- /lib/environment_matita.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/lib/environment_matita.elpi -------------------------------------------------------------------------------- /lib/lambda.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/lib/lambda.elpi -------------------------------------------------------------------------------- /lib/list.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/lib/list.elpi -------------------------------------------------------------------------------- /lib/logic.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/lib/logic.elpi -------------------------------------------------------------------------------- /lib/pts_cic.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/lib/pts_cic.elpi -------------------------------------------------------------------------------- /lib/pts_helpers.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/lib/pts_helpers.elpi -------------------------------------------------------------------------------- /lib/spy.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/lib/spy.elpi -------------------------------------------------------------------------------- /matita/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/Makefile -------------------------------------------------------------------------------- /matita/Makefile.defs.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/Makefile.defs.in -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-content.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-content.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-content_pres.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-content_pres.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-disambiguation.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-disambiguation.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-extlib.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-extlib.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-getter.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-getter.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-grafite.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-grafite.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-grafite_engine.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-grafite_engine.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-grafite_parser.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-grafite_parser.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-library.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-library.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-logger.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-logger.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-ng_cic_content.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-ng_cic_content.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-ng_disambiguation.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-ng_disambiguation.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-ng_extraction.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-ng_extraction.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-ng_kernel.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-ng_kernel.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-ng_library.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-ng_library.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-ng_paramodulation.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-ng_paramodulation.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-ng_refiner.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-ng_refiner.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-ng_tactics.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-ng_tactics.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-registry.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-registry.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-syntax_extensions.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-syntax_extensions.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-thread.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-thread.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-ulex08.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-ulex08.src -------------------------------------------------------------------------------- /matita/components/METAS/meta.helm-xml.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/METAS/meta.helm-xml.src -------------------------------------------------------------------------------- /matita/components/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/Makefile -------------------------------------------------------------------------------- /matita/components/Makefile.common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/Makefile.common -------------------------------------------------------------------------------- /matita/components/content/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content/.depend -------------------------------------------------------------------------------- /matita/components/content/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content/.depend.opt -------------------------------------------------------------------------------- /matita/components/content/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content/Makefile -------------------------------------------------------------------------------- /matita/components/content/content.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content/content.ml -------------------------------------------------------------------------------- /matita/components/content/content.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content/content.mli -------------------------------------------------------------------------------- /matita/components/content/notationEnv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content/notationEnv.ml -------------------------------------------------------------------------------- /matita/components/content/notationEnv.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content/notationEnv.mli -------------------------------------------------------------------------------- /matita/components/content/notationPp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content/notationPp.ml -------------------------------------------------------------------------------- /matita/components/content/notationPp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content/notationPp.mli -------------------------------------------------------------------------------- /matita/components/content/notationPt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content/notationPt.ml -------------------------------------------------------------------------------- /matita/components/content/notationUtil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content/notationUtil.ml -------------------------------------------------------------------------------- /matita/components/content/notationUtil.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content/notationUtil.mli -------------------------------------------------------------------------------- /matita/components/content_pres/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/.depend -------------------------------------------------------------------------------- /matita/components/content_pres/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/.depend.opt -------------------------------------------------------------------------------- /matita/components/content_pres/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/Makefile -------------------------------------------------------------------------------- /matita/components/content_pres/box.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/box.ml -------------------------------------------------------------------------------- /matita/components/content_pres/box.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/box.mli -------------------------------------------------------------------------------- /matita/components/content_pres/boxPp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/boxPp.ml -------------------------------------------------------------------------------- /matita/components/content_pres/boxPp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/boxPp.mli -------------------------------------------------------------------------------- /matita/components/content_pres/cicNotationLexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/cicNotationLexer.ml -------------------------------------------------------------------------------- /matita/components/content_pres/cicNotationLexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/cicNotationLexer.mli -------------------------------------------------------------------------------- /matita/components/content_pres/cicNotationParser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/cicNotationParser.ml -------------------------------------------------------------------------------- /matita/components/content_pres/cicNotationParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/cicNotationParser.mli -------------------------------------------------------------------------------- /matita/components/content_pres/cicNotationPres.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/cicNotationPres.ml -------------------------------------------------------------------------------- /matita/components/content_pres/cicNotationPres.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/cicNotationPres.mli -------------------------------------------------------------------------------- /matita/components/content_pres/content2pres.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/content2pres.ml -------------------------------------------------------------------------------- /matita/components/content_pres/content2pres.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/content2pres.mli -------------------------------------------------------------------------------- /matita/components/content_pres/content2presMatcher.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/content2presMatcher.ml -------------------------------------------------------------------------------- /matita/components/content_pres/content2presMatcher.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/content2presMatcher.mli -------------------------------------------------------------------------------- /matita/components/content_pres/mpresentation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/mpresentation.ml -------------------------------------------------------------------------------- /matita/components/content_pres/mpresentation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/mpresentation.mli -------------------------------------------------------------------------------- /matita/components/content_pres/renderingAttrs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/renderingAttrs.ml -------------------------------------------------------------------------------- /matita/components/content_pres/renderingAttrs.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/renderingAttrs.mli -------------------------------------------------------------------------------- /matita/components/content_pres/termContentPres.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/termContentPres.ml -------------------------------------------------------------------------------- /matita/components/content_pres/termContentPres.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/content_pres/termContentPres.mli -------------------------------------------------------------------------------- /matita/components/disambiguation/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/disambiguation/.depend -------------------------------------------------------------------------------- /matita/components/disambiguation/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/disambiguation/.depend.opt -------------------------------------------------------------------------------- /matita/components/disambiguation/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/disambiguation/Makefile -------------------------------------------------------------------------------- /matita/components/disambiguation/disambiguate.crit2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/disambiguation/disambiguate.crit2.ml -------------------------------------------------------------------------------- /matita/components/disambiguation/disambiguate.crit4.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/disambiguation/disambiguate.crit4.ml -------------------------------------------------------------------------------- /matita/components/disambiguation/disambiguate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/disambiguation/disambiguate.ml -------------------------------------------------------------------------------- /matita/components/disambiguation/disambiguate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/disambiguation/disambiguate.mli -------------------------------------------------------------------------------- /matita/components/disambiguation/disambiguateTypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/disambiguation/disambiguateTypes.ml -------------------------------------------------------------------------------- /matita/components/disambiguation/disambiguateTypes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/disambiguation/disambiguateTypes.mli -------------------------------------------------------------------------------- /matita/components/disambiguation/multiPassDisambiguator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/disambiguation/multiPassDisambiguator.ml -------------------------------------------------------------------------------- /matita/components/disambiguation/multiPassDisambiguator.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/disambiguation/multiPassDisambiguator.mli -------------------------------------------------------------------------------- /matita/components/extlib/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/.depend -------------------------------------------------------------------------------- /matita/components/extlib/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/.depend.opt -------------------------------------------------------------------------------- /matita/components/extlib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/Makefile -------------------------------------------------------------------------------- /matita/components/extlib/componentsConf.ml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/componentsConf.ml.in -------------------------------------------------------------------------------- /matita/components/extlib/componentsConf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/componentsConf.mli -------------------------------------------------------------------------------- /matita/components/extlib/discrimination_tree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/discrimination_tree.ml -------------------------------------------------------------------------------- /matita/components/extlib/discrimination_tree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/discrimination_tree.mli -------------------------------------------------------------------------------- /matita/components/extlib/graphvizPp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/graphvizPp.ml -------------------------------------------------------------------------------- /matita/components/extlib/graphvizPp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/graphvizPp.mli -------------------------------------------------------------------------------- /matita/components/extlib/hExtlib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/hExtlib.ml -------------------------------------------------------------------------------- /matita/components/extlib/hExtlib.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/hExtlib.mli -------------------------------------------------------------------------------- /matita/components/extlib/hLog.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/hLog.ml -------------------------------------------------------------------------------- /matita/components/extlib/hLog.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/hLog.mli -------------------------------------------------------------------------------- /matita/components/extlib/hMarshal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/hMarshal.ml -------------------------------------------------------------------------------- /matita/components/extlib/hMarshal.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/hMarshal.mli -------------------------------------------------------------------------------- /matita/components/extlib/hTopoSort.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/hTopoSort.ml -------------------------------------------------------------------------------- /matita/components/extlib/hTopoSort.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/hTopoSort.mli -------------------------------------------------------------------------------- /matita/components/extlib/patternMatcher.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/patternMatcher.ml -------------------------------------------------------------------------------- /matita/components/extlib/patternMatcher.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/patternMatcher.mli -------------------------------------------------------------------------------- /matita/components/extlib/trie.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/trie.ml -------------------------------------------------------------------------------- /matita/components/extlib/trie.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/extlib/trie.mli -------------------------------------------------------------------------------- /matita/components/getter/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/.depend -------------------------------------------------------------------------------- /matita/components/getter/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/.depend.opt -------------------------------------------------------------------------------- /matita/components/getter/.ocamlinit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/.ocamlinit -------------------------------------------------------------------------------- /matita/components/getter/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/Makefile -------------------------------------------------------------------------------- /matita/components/getter/http_getter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter.ml -------------------------------------------------------------------------------- /matita/components/getter/http_getter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter.mli -------------------------------------------------------------------------------- /matita/components/getter/http_getter_common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_common.ml -------------------------------------------------------------------------------- /matita/components/getter/http_getter_common.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_common.mli -------------------------------------------------------------------------------- /matita/components/getter/http_getter_const.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_const.ml -------------------------------------------------------------------------------- /matita/components/getter/http_getter_const.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_const.mli -------------------------------------------------------------------------------- /matita/components/getter/http_getter_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_env.ml -------------------------------------------------------------------------------- /matita/components/getter/http_getter_env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_env.mli -------------------------------------------------------------------------------- /matita/components/getter/http_getter_logger.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_logger.ml -------------------------------------------------------------------------------- /matita/components/getter/http_getter_logger.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_logger.mli -------------------------------------------------------------------------------- /matita/components/getter/http_getter_misc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_misc.ml -------------------------------------------------------------------------------- /matita/components/getter/http_getter_misc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_misc.mli -------------------------------------------------------------------------------- /matita/components/getter/http_getter_storage.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_storage.ml -------------------------------------------------------------------------------- /matita/components/getter/http_getter_storage.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_storage.mli -------------------------------------------------------------------------------- /matita/components/getter/http_getter_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_types.ml -------------------------------------------------------------------------------- /matita/components/getter/http_getter_wget.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_wget.ml -------------------------------------------------------------------------------- /matita/components/getter/http_getter_wget.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/http_getter_wget.mli -------------------------------------------------------------------------------- /matita/components/getter/mkindexes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/mkindexes.pl -------------------------------------------------------------------------------- /matita/components/getter/sample.conf.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/sample.conf.xml -------------------------------------------------------------------------------- /matita/components/getter/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/getter/test.ml -------------------------------------------------------------------------------- /matita/components/grafite/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite/.depend -------------------------------------------------------------------------------- /matita/components/grafite/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite/.depend.opt -------------------------------------------------------------------------------- /matita/components/grafite/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite/Makefile -------------------------------------------------------------------------------- /matita/components/grafite/grafiteAst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite/grafiteAst.ml -------------------------------------------------------------------------------- /matita/components/grafite/grafiteAstPp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite/grafiteAstPp.ml -------------------------------------------------------------------------------- /matita/components/grafite/grafiteAstPp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite/grafiteAstPp.mli -------------------------------------------------------------------------------- /matita/components/grafite_engine/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_engine/.depend -------------------------------------------------------------------------------- /matita/components/grafite_engine/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_engine/.depend.opt -------------------------------------------------------------------------------- /matita/components/grafite_engine/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_engine/Makefile -------------------------------------------------------------------------------- /matita/components/grafite_engine/grafiteEngine.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_engine/grafiteEngine.ml -------------------------------------------------------------------------------- /matita/components/grafite_engine/grafiteEngine.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_engine/grafiteEngine.mli -------------------------------------------------------------------------------- /matita/components/grafite_engine/grafiteTypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_engine/grafiteTypes.ml -------------------------------------------------------------------------------- /matita/components/grafite_engine/grafiteTypes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_engine/grafiteTypes.mli -------------------------------------------------------------------------------- /matita/components/grafite_engine/nCicCoercDeclaration.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_engine/nCicCoercDeclaration.ml -------------------------------------------------------------------------------- /matita/components/grafite_engine/nCicCoercDeclaration.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_engine/nCicCoercDeclaration.mli -------------------------------------------------------------------------------- /matita/components/grafite_parser/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_parser/.depend -------------------------------------------------------------------------------- /matita/components/grafite_parser/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_parser/.depend.opt -------------------------------------------------------------------------------- /matita/components/grafite_parser/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_parser/Makefile -------------------------------------------------------------------------------- /matita/components/grafite_parser/grafiteParser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_parser/grafiteParser.ml -------------------------------------------------------------------------------- /matita/components/grafite_parser/grafiteParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_parser/grafiteParser.mli -------------------------------------------------------------------------------- /matita/components/grafite_parser/print_grammar.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_parser/print_grammar.ml -------------------------------------------------------------------------------- /matita/components/grafite_parser/print_grammar.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/grafite_parser/print_grammar.mli -------------------------------------------------------------------------------- /matita/components/library/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/library/.depend -------------------------------------------------------------------------------- /matita/components/library/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/library/.depend.opt -------------------------------------------------------------------------------- /matita/components/library/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/library/Makefile -------------------------------------------------------------------------------- /matita/components/library/librarian.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/library/librarian.ml -------------------------------------------------------------------------------- /matita/components/library/librarian.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/library/librarian.mli -------------------------------------------------------------------------------- /matita/components/library/libraryClean.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/library/libraryClean.ml -------------------------------------------------------------------------------- /matita/components/library/libraryClean.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/library/libraryClean.mli -------------------------------------------------------------------------------- /matita/components/library/libraryMisc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/library/libraryMisc.ml -------------------------------------------------------------------------------- /matita/components/library/libraryMisc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/library/libraryMisc.mli -------------------------------------------------------------------------------- /matita/components/license: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/license -------------------------------------------------------------------------------- /matita/components/logger/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/logger/.depend -------------------------------------------------------------------------------- /matita/components/logger/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/logger/.depend.opt -------------------------------------------------------------------------------- /matita/components/logger/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/logger/Makefile -------------------------------------------------------------------------------- /matita/components/logger/helmLogger.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/logger/helmLogger.ml -------------------------------------------------------------------------------- /matita/components/logger/helmLogger.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/logger/helmLogger.mli -------------------------------------------------------------------------------- /matita/components/ng_cic_content/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_cic_content/.depend -------------------------------------------------------------------------------- /matita/components/ng_cic_content/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_cic_content/.depend.opt -------------------------------------------------------------------------------- /matita/components/ng_cic_content/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_cic_content/Makefile -------------------------------------------------------------------------------- /matita/components/ng_cic_content/interpretations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_cic_content/interpretations.ml -------------------------------------------------------------------------------- /matita/components/ng_cic_content/interpretations.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_cic_content/interpretations.mli -------------------------------------------------------------------------------- /matita/components/ng_cic_content/ncic2astMatcher.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_cic_content/ncic2astMatcher.ml -------------------------------------------------------------------------------- /matita/components/ng_cic_content/ncic2astMatcher.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_cic_content/ncic2astMatcher.mli -------------------------------------------------------------------------------- /matita/components/ng_disambiguation/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_disambiguation/.depend -------------------------------------------------------------------------------- /matita/components/ng_disambiguation/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_disambiguation/.depend.opt -------------------------------------------------------------------------------- /matita/components/ng_disambiguation/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_disambiguation/Makefile -------------------------------------------------------------------------------- /matita/components/ng_disambiguation/disambiguateChoices.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_disambiguation/disambiguateChoices.ml -------------------------------------------------------------------------------- /matita/components/ng_disambiguation/disambiguateChoices.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_disambiguation/disambiguateChoices.mli -------------------------------------------------------------------------------- /matita/components/ng_disambiguation/grafiteDisambiguate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_disambiguation/grafiteDisambiguate.ml -------------------------------------------------------------------------------- /matita/components/ng_disambiguation/grafiteDisambiguate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_disambiguation/grafiteDisambiguate.mli -------------------------------------------------------------------------------- /matita/components/ng_disambiguation/nCicDisambiguate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_disambiguation/nCicDisambiguate.ml -------------------------------------------------------------------------------- /matita/components/ng_disambiguation/nCicDisambiguate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_disambiguation/nCicDisambiguate.mli -------------------------------------------------------------------------------- /matita/components/ng_disambiguation/nnumber_notation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_disambiguation/nnumber_notation.ml -------------------------------------------------------------------------------- /matita/components/ng_disambiguation/nnumber_notation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_disambiguation/nnumber_notation.mli -------------------------------------------------------------------------------- /matita/components/ng_extraction/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/.depend -------------------------------------------------------------------------------- /matita/components/ng_extraction/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/.depend.opt -------------------------------------------------------------------------------- /matita/components/ng_extraction/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/Makefile -------------------------------------------------------------------------------- /matita/components/ng_extraction/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/common.ml -------------------------------------------------------------------------------- /matita/components/ng_extraction/common.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/common.mli -------------------------------------------------------------------------------- /matita/components/ng_extraction/coq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/coq.ml -------------------------------------------------------------------------------- /matita/components/ng_extraction/coq.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/coq.mli -------------------------------------------------------------------------------- /matita/components/ng_extraction/extraction.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/extraction.ml -------------------------------------------------------------------------------- /matita/components/ng_extraction/extraction.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/extraction.mli -------------------------------------------------------------------------------- /matita/components/ng_extraction/miniml.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/miniml.ml -------------------------------------------------------------------------------- /matita/components/ng_extraction/mlutil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/mlutil.ml -------------------------------------------------------------------------------- /matita/components/ng_extraction/mlutil.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/mlutil.mli -------------------------------------------------------------------------------- /matita/components/ng_extraction/nCicExtraction.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/nCicExtraction.ml -------------------------------------------------------------------------------- /matita/components/ng_extraction/nCicExtraction.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/nCicExtraction.mli -------------------------------------------------------------------------------- /matita/components/ng_extraction/ocaml.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/ocaml.ml -------------------------------------------------------------------------------- /matita/components/ng_extraction/ocaml.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/ocaml.mli -------------------------------------------------------------------------------- /matita/components/ng_extraction/ocamlExtraction.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/ocamlExtraction.ml -------------------------------------------------------------------------------- /matita/components/ng_extraction/ocamlExtraction.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/ocamlExtraction.mli -------------------------------------------------------------------------------- /matita/components/ng_extraction/ocamlExtractionTable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/ocamlExtractionTable.ml -------------------------------------------------------------------------------- /matita/components/ng_extraction/ocamlExtractionTable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_extraction/ocamlExtractionTable.mli -------------------------------------------------------------------------------- /matita/components/ng_kernel/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/.depend -------------------------------------------------------------------------------- /matita/components/ng_kernel/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/.depend.opt -------------------------------------------------------------------------------- /matita/components/ng_kernel/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/Makefile -------------------------------------------------------------------------------- /matita/components/ng_kernel/TEST: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/TEST -------------------------------------------------------------------------------- /matita/components/ng_kernel/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/TODO -------------------------------------------------------------------------------- /matita/components/ng_kernel/alluris.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/alluris.txt -------------------------------------------------------------------------------- /matita/components/ng_kernel/bug_universi.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/bug_universi.ma -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCic.ml -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicELPI.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicELPI.ml -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicELPI.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicELPI.mli -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicEnvironment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicEnvironment.ml -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicEnvironment.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicEnvironment.mli -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicPp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicPp.ml -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicPp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicPp.mli -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicReduction.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicReduction.ml -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicReduction.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicReduction.mli -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicSubstitution.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicSubstitution.ml -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicSubstitution.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicSubstitution.mli -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicTypeChecker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicTypeChecker.ml -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicTypeChecker.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicTypeChecker.mli -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicUntrusted.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicUntrusted.ml -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicUntrusted.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicUntrusted.mli -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicUtils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicUtils.ml -------------------------------------------------------------------------------- /matita/components/ng_kernel/nCicUtils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nCicUtils.mli -------------------------------------------------------------------------------- /matita/components/ng_kernel/nReference.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nReference.ml -------------------------------------------------------------------------------- /matita/components/ng_kernel/nReference.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nReference.mli -------------------------------------------------------------------------------- /matita/components/ng_kernel/nUri.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nUri.ml -------------------------------------------------------------------------------- /matita/components/ng_kernel/nUri.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/nUri.mli -------------------------------------------------------------------------------- /matita/components/ng_kernel/paper.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/paper.txt -------------------------------------------------------------------------------- /matita/components/ng_kernel/test.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_kernel/test.ma -------------------------------------------------------------------------------- /matita/components/ng_library/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_library/.depend -------------------------------------------------------------------------------- /matita/components/ng_library/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_library/.depend.opt -------------------------------------------------------------------------------- /matita/components/ng_library/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_library/Makefile -------------------------------------------------------------------------------- /matita/components/ng_library/nCicLibrary.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_library/nCicLibrary.ml -------------------------------------------------------------------------------- /matita/components/ng_library/nCicLibrary.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_library/nCicLibrary.mli -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/.depend -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/.depend.opt -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/Makefile -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/foSubst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/foSubst.ml -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/foSubst.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/foSubst.mli -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/foUnif.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/foUnif.ml -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/foUnif.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/foUnif.mli -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/foUtils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/foUtils.ml -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/foUtils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/foUtils.mli -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/index.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/index.ml -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/index.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/index.mli -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/nCicBlob.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/nCicBlob.ml -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/nCicBlob.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/nCicBlob.mli -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/nCicParamod.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/nCicParamod.ml -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/nCicParamod.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/nCicParamod.mli -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/nCicProof.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/nCicProof.ml -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/nCicProof.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/nCicProof.mli -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/orderings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/orderings.ml -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/orderings.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/orderings.mli -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/paramod.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/paramod.ml -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/paramod.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/paramod.mli -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/pp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/pp.ml -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/pp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/pp.mli -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/stats.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/stats.ml -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/stats.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/stats.mli -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/superposition.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/superposition.ml -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/superposition.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/superposition.mli -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/terms.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/terms.ml -------------------------------------------------------------------------------- /matita/components/ng_paramodulation/terms.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_paramodulation/terms.mli -------------------------------------------------------------------------------- /matita/components/ng_refiner/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/.depend -------------------------------------------------------------------------------- /matita/components/ng_refiner/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/.depend.opt -------------------------------------------------------------------------------- /matita/components/ng_refiner/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/Makefile -------------------------------------------------------------------------------- /matita/components/ng_refiner/esempio.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/esempio.ma -------------------------------------------------------------------------------- /matita/components/ng_refiner/nCicCoercion.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/nCicCoercion.ml -------------------------------------------------------------------------------- /matita/components/ng_refiner/nCicCoercion.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/nCicCoercion.mli -------------------------------------------------------------------------------- /matita/components/ng_refiner/nCicMetaSubst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/nCicMetaSubst.ml -------------------------------------------------------------------------------- /matita/components/ng_refiner/nCicMetaSubst.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/nCicMetaSubst.mli -------------------------------------------------------------------------------- /matita/components/ng_refiner/nCicRefineUtil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/nCicRefineUtil.ml -------------------------------------------------------------------------------- /matita/components/ng_refiner/nCicRefineUtil.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/nCicRefineUtil.mli -------------------------------------------------------------------------------- /matita/components/ng_refiner/nCicRefiner.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/nCicRefiner.ml -------------------------------------------------------------------------------- /matita/components/ng_refiner/nCicRefiner.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/nCicRefiner.mli -------------------------------------------------------------------------------- /matita/components/ng_refiner/nCicUnifHint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/nCicUnifHint.ml -------------------------------------------------------------------------------- /matita/components/ng_refiner/nCicUnifHint.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/nCicUnifHint.mli -------------------------------------------------------------------------------- /matita/components/ng_refiner/nCicUnification.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/nCicUnification.ml -------------------------------------------------------------------------------- /matita/components/ng_refiner/nCicUnification.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/nCicUnification.mli -------------------------------------------------------------------------------- /matita/components/ng_refiner/nDiscriminationTree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/nDiscriminationTree.ml -------------------------------------------------------------------------------- /matita/components/ng_refiner/nDiscriminationTree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/nDiscriminationTree.mli -------------------------------------------------------------------------------- /matita/components/ng_refiner/oMeta2nMeta.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_refiner/oMeta2nMeta.ml -------------------------------------------------------------------------------- /matita/components/ng_tactics/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/.depend -------------------------------------------------------------------------------- /matita/components/ng_tactics/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/.depend.opt -------------------------------------------------------------------------------- /matita/components/ng_tactics/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/Makefile -------------------------------------------------------------------------------- /matita/components/ng_tactics/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/README -------------------------------------------------------------------------------- /matita/components/ng_tactics/continuationals.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/continuationals.ml -------------------------------------------------------------------------------- /matita/components/ng_tactics/continuationals.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/continuationals.mli -------------------------------------------------------------------------------- /matita/components/ng_tactics/nCicElim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/nCicElim.ml -------------------------------------------------------------------------------- /matita/components/ng_tactics/nCicElim.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/nCicElim.mli -------------------------------------------------------------------------------- /matita/components/ng_tactics/nCicTacReduction.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/nCicTacReduction.ml -------------------------------------------------------------------------------- /matita/components/ng_tactics/nCicTacReduction.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/nCicTacReduction.mli -------------------------------------------------------------------------------- /matita/components/ng_tactics/nDestructTac.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/nDestructTac.ml -------------------------------------------------------------------------------- /matita/components/ng_tactics/nDestructTac.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/nDestructTac.mli -------------------------------------------------------------------------------- /matita/components/ng_tactics/nInversion.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/nInversion.ml -------------------------------------------------------------------------------- /matita/components/ng_tactics/nInversion.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/nInversion.mli -------------------------------------------------------------------------------- /matita/components/ng_tactics/nTacStatus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/nTacStatus.ml -------------------------------------------------------------------------------- /matita/components/ng_tactics/nTacStatus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/nTacStatus.mli -------------------------------------------------------------------------------- /matita/components/ng_tactics/nTactics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/nTactics.ml -------------------------------------------------------------------------------- /matita/components/ng_tactics/nTactics.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/nTactics.mli -------------------------------------------------------------------------------- /matita/components/ng_tactics/nnAuto.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/nnAuto.ml -------------------------------------------------------------------------------- /matita/components/ng_tactics/nnAuto.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ng_tactics/nnAuto.mli -------------------------------------------------------------------------------- /matita/components/registry/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/registry/.depend -------------------------------------------------------------------------------- /matita/components/registry/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/registry/.depend.opt -------------------------------------------------------------------------------- /matita/components/registry/.ocamlinit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/registry/.ocamlinit -------------------------------------------------------------------------------- /matita/components/registry/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/registry/Makefile -------------------------------------------------------------------------------- /matita/components/registry/helm_registry.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/registry/helm_registry.ml -------------------------------------------------------------------------------- /matita/components/registry/helm_registry.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/registry/helm_registry.mli -------------------------------------------------------------------------------- /matita/components/registry/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/registry/test.ml -------------------------------------------------------------------------------- /matita/components/registry/tests/sample.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/registry/tests/sample.xml -------------------------------------------------------------------------------- /matita/components/registry/tests/sample_include.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/registry/tests/sample_include.xml -------------------------------------------------------------------------------- /matita/components/statuses.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/statuses.txt -------------------------------------------------------------------------------- /matita/components/syntax_extensions/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/syntax_extensions/.depend -------------------------------------------------------------------------------- /matita/components/syntax_extensions/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/syntax_extensions/.depend.opt -------------------------------------------------------------------------------- /matita/components/syntax_extensions/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/syntax_extensions/Makefile -------------------------------------------------------------------------------- /matita/components/syntax_extensions/README.syntax: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/syntax_extensions/README.syntax -------------------------------------------------------------------------------- /matita/components/syntax_extensions/data/dictionary-tex.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/syntax_extensions/data/dictionary-tex.xml -------------------------------------------------------------------------------- /matita/components/syntax_extensions/data/entities-table.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/syntax_extensions/data/entities-table.xml -------------------------------------------------------------------------------- /matita/components/syntax_extensions/data/extra-entities.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/syntax_extensions/data/extra-entities.xml -------------------------------------------------------------------------------- /matita/components/syntax_extensions/make_table.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/syntax_extensions/make_table.ml -------------------------------------------------------------------------------- /matita/components/syntax_extensions/pa_unicode_macro.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/syntax_extensions/pa_unicode_macro.ml -------------------------------------------------------------------------------- /matita/components/syntax_extensions/profiling_macros.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/syntax_extensions/profiling_macros.ml -------------------------------------------------------------------------------- /matita/components/syntax_extensions/test.ml: -------------------------------------------------------------------------------- 1 | (* $Id: test.ml 5769 2006-01-08 18:00:22Z sacerdot $ *) 2 | 3 | prerr_endline <:unicode> 4 | -------------------------------------------------------------------------------- /matita/components/syntax_extensions/utf8Macro.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/syntax_extensions/utf8Macro.ml -------------------------------------------------------------------------------- /matita/components/syntax_extensions/utf8Macro.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/syntax_extensions/utf8Macro.mli -------------------------------------------------------------------------------- /matita/components/syntax_extensions/utf8MacroTable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/syntax_extensions/utf8MacroTable.ml -------------------------------------------------------------------------------- /matita/components/syntax_extensions/utf8MacroTable.ml.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/syntax_extensions/utf8MacroTable.ml.txt -------------------------------------------------------------------------------- /matita/components/thread/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/thread/.depend -------------------------------------------------------------------------------- /matita/components/thread/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/thread/.depend.opt -------------------------------------------------------------------------------- /matita/components/thread/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/thread/Makefile -------------------------------------------------------------------------------- /matita/components/thread/extThread.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/thread/extThread.ml -------------------------------------------------------------------------------- /matita/components/thread/extThread.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/thread/extThread.mli -------------------------------------------------------------------------------- /matita/components/thread/fake/threadSafe.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/thread/fake/threadSafe.ml -------------------------------------------------------------------------------- /matita/components/thread/fake/threadSafe.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/thread/fake/threadSafe.mli -------------------------------------------------------------------------------- /matita/components/thread/threadSafe.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/thread/threadSafe.ml -------------------------------------------------------------------------------- /matita/components/thread/threadSafe.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/thread/threadSafe.mli -------------------------------------------------------------------------------- /matita/components/ulex08/CHANGES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/CHANGES -------------------------------------------------------------------------------- /matita/components/ulex08/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/LICENSE -------------------------------------------------------------------------------- /matita/components/ulex08/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/Makefile -------------------------------------------------------------------------------- /matita/components/ulex08/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/README -------------------------------------------------------------------------------- /matita/components/ulex08/cset.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/cset.ml -------------------------------------------------------------------------------- /matita/components/ulex08/custom_ulexing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/custom_ulexing.ml -------------------------------------------------------------------------------- /matita/components/ulex08/mk_pa_ulex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/mk_pa_ulex.ml -------------------------------------------------------------------------------- /matita/components/ulex08/pa_ulex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/pa_ulex.ml -------------------------------------------------------------------------------- /matita/components/ulex08/pa_ulex.ml.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/pa_ulex.ml.src -------------------------------------------------------------------------------- /matita/components/ulex08/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/test.ml -------------------------------------------------------------------------------- /matita/components/ulex08/ulex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/ulex.ml -------------------------------------------------------------------------------- /matita/components/ulex08/ulex.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/ulex.mli -------------------------------------------------------------------------------- /matita/components/ulex08/ulexing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/ulexing.ml -------------------------------------------------------------------------------- /matita/components/ulex08/ulexing.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/ulexing.mli -------------------------------------------------------------------------------- /matita/components/ulex08/utf16.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/utf16.ml -------------------------------------------------------------------------------- /matita/components/ulex08/utf16.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/utf16.mli -------------------------------------------------------------------------------- /matita/components/ulex08/utf8.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/utf8.ml -------------------------------------------------------------------------------- /matita/components/ulex08/utf8.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/utf8.mli -------------------------------------------------------------------------------- /matita/components/ulex08/utf8_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/ulex08/utf8_test.ml -------------------------------------------------------------------------------- /matita/components/xml/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/xml/.depend -------------------------------------------------------------------------------- /matita/components/xml/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/xml/.depend.opt -------------------------------------------------------------------------------- /matita/components/xml/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/xml/Makefile -------------------------------------------------------------------------------- /matita/components/xml/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/xml/test.ml -------------------------------------------------------------------------------- /matita/components/xml/xml.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/xml/xml.ml -------------------------------------------------------------------------------- /matita/components/xml/xml.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/xml/xml.mli -------------------------------------------------------------------------------- /matita/components/xml/xmlPushParser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/xml/xmlPushParser.ml -------------------------------------------------------------------------------- /matita/components/xml/xmlPushParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/components/xml/xmlPushParser.mli -------------------------------------------------------------------------------- /matita/configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/configure.ac -------------------------------------------------------------------------------- /matita/matita/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/.depend -------------------------------------------------------------------------------- /matita/matita/.depend.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/.depend.opt -------------------------------------------------------------------------------- /matita/matita/AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/AUTHORS -------------------------------------------------------------------------------- /matita/matita/DA_FARE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/DA_FARE -------------------------------------------------------------------------------- /matita/matita/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/LICENSE -------------------------------------------------------------------------------- /matita/matita/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/Makefile -------------------------------------------------------------------------------- /matita/matita/applyTransformation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/applyTransformation.ml -------------------------------------------------------------------------------- /matita/matita/applyTransformation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/applyTransformation.mli -------------------------------------------------------------------------------- /matita/matita/buildTimeConf.ml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/buildTimeConf.ml.in -------------------------------------------------------------------------------- /matita/matita/cicMathView.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/cicMathView.ml -------------------------------------------------------------------------------- /matita/matita/cicMathView.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/cicMathView.mli -------------------------------------------------------------------------------- /matita/matita/closed.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/closed.xml -------------------------------------------------------------------------------- /matita/matita/dictionary-matita.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/dictionary-matita.xml -------------------------------------------------------------------------------- /matita/matita/help/C/version.txt.in: -------------------------------------------------------------------------------- 1 | @MATITA_VERSION@ 2 | -------------------------------------------------------------------------------- /matita/matita/icons/matita-32.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/icons/matita-32.xpm -------------------------------------------------------------------------------- /matita/matita/icons/matita-bulb-high.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/icons/matita-bulb-high.png -------------------------------------------------------------------------------- /matita/matita/icons/matita-bulb-low.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/icons/matita-bulb-low.png -------------------------------------------------------------------------------- /matita/matita/icons/matita-bulb-medium.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/icons/matita-bulb-medium.png -------------------------------------------------------------------------------- /matita/matita/icons/matita-folder.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/icons/matita-folder.png -------------------------------------------------------------------------------- /matita/matita/icons/matita-object.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/icons/matita-object.png -------------------------------------------------------------------------------- /matita/matita/icons/matita-theory.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/icons/matita-theory.png -------------------------------------------------------------------------------- /matita/matita/icons/matita.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/icons/matita.png -------------------------------------------------------------------------------- /matita/matita/icons/matita_medium.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/icons/matita_medium.png -------------------------------------------------------------------------------- /matita/matita/icons/matita_small.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/icons/matita_small.png -------------------------------------------------------------------------------- /matita/matita/icons/matita_very_small.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/icons/matita_very_small.png -------------------------------------------------------------------------------- /matita/matita/icons/meegg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/icons/meegg.png -------------------------------------------------------------------------------- /matita/matita/icons/whelp.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/icons/whelp.png -------------------------------------------------------------------------------- /matita/matita/icons/whelp.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/icons/whelp.svg -------------------------------------------------------------------------------- /matita/matita/lablGraphviz.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lablGraphviz.ml -------------------------------------------------------------------------------- /matita/matita/lablGraphviz.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lablGraphviz.mli -------------------------------------------------------------------------------- /matita/matita/lib/MONADS/speranza.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/MONADS/speranza.ma -------------------------------------------------------------------------------- /matita/matita/lib/MONADS/speranza2.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/MONADS/speranza2.ma -------------------------------------------------------------------------------- /matita/matita/lib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/Makefile -------------------------------------------------------------------------------- /matita/matita/lib/alias.sed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/alias.sed -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/Makefile -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/bigops.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/bigops.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/binomial.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/binomial.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/bounded_quantifiers.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/bounded_quantifiers.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/chebyshev/bertrand.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/chebyshev/bertrand.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/chebyshev/bertrand256.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/chebyshev/bertrand256.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/chebyshev/chebyshev_psi.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/chebyshev/chebyshev_psi.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/chebyshev/chebyshev_theta.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/chebyshev/chebyshev_theta.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/chebyshev/factorization.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/chebyshev/factorization.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/chebyshev/psi_bounds.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/chebyshev/psi_bounds.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/chinese_reminder.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/chinese_reminder.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/congruence.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/congruence.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/div_and_mod.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/div_and_mod.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/exp.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/exp.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/factorial.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/factorial.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/fermat_little_theorem.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/fermat_little_theorem.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/gcd.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/gcd.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/iteration.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/iteration.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/log.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/log.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/lstar.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/lstar.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/minimization.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/minimization.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/nat.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/nat.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/nat_commented.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/nat_commented.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/nth_prime.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/nth_prime.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/ord.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/ord.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/permutation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/permutation.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/pidgeon_hole.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/pidgeon_hole.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/primes.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/primes.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/sigma_pi.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/sigma_pi.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/sqrt.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/sqrt.ma -------------------------------------------------------------------------------- /matita/matita/lib/arithmetics/tassi_example.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/arithmetics/tassi_example.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/bool.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/bool.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/core_notation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/core_notation.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/deqsets.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/deqsets.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/finset.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/finset.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/jmeq.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/jmeq.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/lists/list.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/lists/list.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/lists/listb.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/lists/listb.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/lists/lstar.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/lists/lstar.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/logic.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/logic.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/pts.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/pts.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/relations.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/relations.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/russell.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/russell.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/sets.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/sets.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/star.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/star.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/star1.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/star1.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/types.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/types.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/vector_finset.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/vector_finset.ma -------------------------------------------------------------------------------- /matita/matita/lib/basics/vectors.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/basics/vectors.ma -------------------------------------------------------------------------------- /matita/matita/lib/binding/db.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/binding/db.ma -------------------------------------------------------------------------------- /matita/matita/lib/binding/fp.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/binding/fp.ma -------------------------------------------------------------------------------- /matita/matita/lib/binding/ln.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/binding/ln.ma -------------------------------------------------------------------------------- /matita/matita/lib/binding/ln_concrete.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/binding/ln_concrete.ma -------------------------------------------------------------------------------- /matita/matita/lib/binding/names.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/binding/names.ma -------------------------------------------------------------------------------- /matita/matita/lib/extraction.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/extraction.ma -------------------------------------------------------------------------------- /matita/matita/lib/fail.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/fail.txt -------------------------------------------------------------------------------- /matita/matita/lib/finite_lambda/confluence.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/finite_lambda/confluence.ma -------------------------------------------------------------------------------- /matita/matita/lib/finite_lambda/reduction.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/finite_lambda/reduction.ma -------------------------------------------------------------------------------- /matita/matita/lib/finite_lambda/terms_and_types.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/finite_lambda/terms_and_types.ma -------------------------------------------------------------------------------- /matita/matita/lib/finite_lambda/typing.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/finite_lambda/typing.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/apply_functor.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/apply_functor.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/basic_pairs.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/basic_pairs.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/basic_pairs_to_o-basic_pairs.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/basic_pairs_to_o-basic_pairs.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/basic_topologies.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/basic_topologies.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/basic_topologies_to_o-basic_topologies.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/basic_topologies_to_o-basic_topologies.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/categories.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/categories.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/concrete_spaces.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/concrete_spaces.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/concrete_spaces_to_o-concrete_spaces.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/concrete_spaces_to_o-concrete_spaces.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/cprop_connectives.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/cprop_connectives.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/formal_topologies.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/formal_topologies.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/notation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/notation.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/o-algebra.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/o-algebra.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/o-basic_pairs.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/o-basic_pairs.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/o-basic_pairs_to_o-basic_topologies.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/o-basic_pairs_to_o-basic_topologies.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/o-basic_topologies.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/o-basic_topologies.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/o-concrete_spaces.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/o-concrete_spaces.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/o-formal_topologies.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/o-formal_topologies.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/o-saturations.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/o-saturations.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/r-o-basic_pairs.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/r-o-basic_pairs.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/relations.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/relations.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/relations_to_o-algebra.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/relations_to_o-algebra.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/replace.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/replace.sh -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/saturations.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/saturations.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/saturations_to_o-saturations.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/saturations_to_o-saturations.ma -------------------------------------------------------------------------------- /matita/matita/lib/formal_topology/subsets.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/formal_topology/subsets.ma -------------------------------------------------------------------------------- /matita/matita/lib/hints_declaration.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/hints_declaration.ma -------------------------------------------------------------------------------- /matita/matita/lib/hott/Overture.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/hott/Overture.ma -------------------------------------------------------------------------------- /matita/matita/lib/hott/PathGroupoids.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/hott/PathGroupoids.ma -------------------------------------------------------------------------------- /matita/matita/lib/hott/notations.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/hott/notations.ma -------------------------------------------------------------------------------- /matita/matita/lib/hott/pts.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/hott/pts.ma -------------------------------------------------------------------------------- /matita/matita/lib/hott/types.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/hott/types.ma -------------------------------------------------------------------------------- /matita/matita/lib/inconsistent.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/inconsistent.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/Makefile -------------------------------------------------------------------------------- /matita/matita/lib/lambda/background/notation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/background/notation.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/background/preamble.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/background/preamble.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/background/xoa.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/background/xoa.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/background/xoa_notation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/background/xoa_notation.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/levels/interpretations.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/levels/interpretations.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/levels/iterated_abstraction.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/levels/iterated_abstraction.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/levels/term.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/levels/term.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/notation/functions/backward_1.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/notation/functions/backward_1.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/notation/functions/backward_3.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/notation/functions/backward_3.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/notation/functions/forward_1.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/notation/functions/forward_1.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/notation/functions/forward_3.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/notation/functions/forward_3.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/paths/alternative_standard_order.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/paths/alternative_standard_order.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/paths/decomposed_trace.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/paths/decomposed_trace.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/paths/dst_computation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/paths/dst_computation.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/paths/labeled_sequential_computation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/paths/labeled_sequential_computation.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/paths/labeled_sequential_reduction.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/paths/labeled_sequential_reduction.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/paths/labeled_st_computation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/paths/labeled_st_computation.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/paths/labeled_st_reduction.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/paths/labeled_st_reduction.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/paths/path.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/paths/path.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/paths/standard_order.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/paths/standard_order.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/paths/standard_precedence.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/paths/standard_precedence.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/paths/standard_trace.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/paths/standard_trace.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/paths/trace.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/paths/trace.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/policy.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/policy.txt -------------------------------------------------------------------------------- /matita/matita/lib/lambda/replace.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/replace.sh -------------------------------------------------------------------------------- /matita/matita/lib/lambda/subterms/boolean.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/subterms/boolean.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/subterms/booleanized.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/subterms/booleanized.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/subterms/carrier.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/subterms/carrier.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/subterms/relocating_substitution.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/subterms/relocating_substitution.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/subterms/relocation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/subterms/relocation.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/subterms/subterms.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/subterms/subterms.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/terms/iterated_abstraction.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/terms/iterated_abstraction.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/terms/labeled_sequential_computation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/terms/labeled_sequential_computation.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/terms/multiplicity.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/terms/multiplicity.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/terms/parallel_computation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/terms/parallel_computation.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/terms/parallel_reduction.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/terms/parallel_reduction.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/terms/relocating_substitution.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/terms/relocating_substitution.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/terms/relocation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/terms/relocation.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/terms/sequential_computation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/terms/sequential_computation.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/terms/sequential_reduction.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/terms/sequential_reduction.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/terms/size.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/terms/size.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/terms/term.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/terms/term.ma -------------------------------------------------------------------------------- /matita/matita/lib/lambda/xoa.conf.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/lambda/xoa.conf.xml -------------------------------------------------------------------------------- /matita/matita/lib/preamble.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/preamble.hs -------------------------------------------------------------------------------- /matita/matita/lib/preamble.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/preamble.ml -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/CC2FO_K.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/CC2FO_K.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/CC2FO_K_cube.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/CC2FO_K_cube.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/arity.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/arity.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/arity_eval.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/arity_eval.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/convertibility.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/convertibility.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/cube.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/cube.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/degree.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/degree.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/ext.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/ext.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/ext_lambda.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/ext_lambda.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/inversion.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/inversion.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/lambda_notation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/lambda_notation.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/lift.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/lift.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/par_reduction.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/par_reduction.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/rc_eval.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/rc_eval.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/rc_hsat.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/rc_hsat.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/rc_sat.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/rc_sat.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/reduction.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/reduction.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/sn.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/sn.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/subject.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/subject.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/subst.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/subst.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/subterms.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/subterms.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/terms.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/terms.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy/types.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy/types.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/arity.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/arity.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/arity_eval.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/arity_eval.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/convertibility.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/convertibility.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/cube.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/cube.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/ext.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/ext.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/ext_lambda.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/ext_lambda.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/inversion.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/inversion.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/lambda_notation.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/lambda_notation.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/par_reduction.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/par_reduction.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/rc_eval.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/rc_eval.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/rc_hsat.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/rc_hsat.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/rc_sat.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/rc_sat.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/reduction.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/reduction.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/sn.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/sn.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/subject.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/subject.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/subst.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/subst.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/subterms.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/subterms.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/terms.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/terms.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/thinning.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/thinning.ma -------------------------------------------------------------------------------- /matita/matita/lib/pts_dummy_new/types.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/pts_dummy_new/types.ma -------------------------------------------------------------------------------- /matita/matita/lib/re/lang.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/re/lang.ma -------------------------------------------------------------------------------- /matita/matita/lib/re/moves.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/re/moves.ma -------------------------------------------------------------------------------- /matita/matita/lib/re/re.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/re/re.ma -------------------------------------------------------------------------------- /matita/matita/lib/re/reb.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/re/reb.ma -------------------------------------------------------------------------------- /matita/matita/lib/reverse_complexity/big_O.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/reverse_complexity/big_O.ma -------------------------------------------------------------------------------- /matita/matita/lib/reverse_complexity/gap.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/reverse_complexity/gap.ma -------------------------------------------------------------------------------- /matita/matita/lib/reverse_complexity/hierarchy.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/reverse_complexity/hierarchy.ma -------------------------------------------------------------------------------- /matita/matita/lib/reverse_complexity/speed_clean.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/reverse_complexity/speed_clean.ma -------------------------------------------------------------------------------- /matita/matita/lib/reverse_complexity/speed_def.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/reverse_complexity/speed_def.ma -------------------------------------------------------------------------------- /matita/matita/lib/reverse_complexity/speed_new.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/reverse_complexity/speed_new.ma -------------------------------------------------------------------------------- /matita/matita/lib/reverse_complexity/toolkit.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/reverse_complexity/toolkit.ma -------------------------------------------------------------------------------- /matita/matita/lib/root: -------------------------------------------------------------------------------- 1 | baseuri=cic:/matita/ 2 | -------------------------------------------------------------------------------- /matita/matita/lib/self_typing.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/self_typing.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/auxiliary_machines.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/auxiliary_machines.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/auxiliary_machines1.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/auxiliary_machines1.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/auxiliary_multi_machines.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/auxiliary_multi_machines.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/basic_machines.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/basic_machines.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/basic_multi_machines.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/basic_multi_machines.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/complexity.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/complexity.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/if_machine.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/if_machine.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/if_multi.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/if_multi.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/inject.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/inject.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/mono.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/mono.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/move_char.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/move_char.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_to_mono/exec_moves.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_to_mono/exec_moves.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_to_mono/exec_trace_move.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_to_mono/exec_trace_move.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_to_mono/full.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_to_mono/full.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_to_mono/multi_to_mono.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_to_mono/multi_to_mono.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_to_mono/shift_trace.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_to_mono/shift_trace.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_to_mono/shift_trace_aux.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_to_mono/shift_trace_aux.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_to_mono/step.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_to_mono/step.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_to_mono/trace_alphabet.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_to_mono/trace_alphabet.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_universal/alphabet.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_universal/alphabet.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_universal/binaryTM.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_universal/binaryTM.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_universal/match.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_universal/match.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_universal/normalTM.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_universal/normalTM.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_universal/tuples.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_universal/tuples.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_universal/unistep.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_universal/unistep.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_universal/unistep_aux.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_universal/unistep_aux.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/multi_universal/universal.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/multi_universal/universal.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/ntm.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/ntm.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/oracle.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/oracle.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/turing.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/turing.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/turing_old.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/turing_old.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/universal.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/universal.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/while_machine.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/while_machine.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/while_multi.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/while_multi.ma -------------------------------------------------------------------------------- /matita/matita/lib/turing/wmono.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/turing/wmono.ma -------------------------------------------------------------------------------- /matita/matita/lib/tutorial/chapter1.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/tutorial/chapter1.ma -------------------------------------------------------------------------------- /matita/matita/lib/tutorial/chapter10.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/tutorial/chapter10.ma -------------------------------------------------------------------------------- /matita/matita/lib/tutorial/chapter11.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/tutorial/chapter11.ma -------------------------------------------------------------------------------- /matita/matita/lib/tutorial/chapter12.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/tutorial/chapter12.ma -------------------------------------------------------------------------------- /matita/matita/lib/tutorial/chapter13.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/tutorial/chapter13.ma -------------------------------------------------------------------------------- /matita/matita/lib/tutorial/chapter2.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/tutorial/chapter2.ma -------------------------------------------------------------------------------- /matita/matita/lib/tutorial/chapter3.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/tutorial/chapter3.ma -------------------------------------------------------------------------------- /matita/matita/lib/tutorial/chapter4.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/tutorial/chapter4.ma -------------------------------------------------------------------------------- /matita/matita/lib/tutorial/chapter5.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/tutorial/chapter5.ma -------------------------------------------------------------------------------- /matita/matita/lib/tutorial/chapter6.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/tutorial/chapter6.ma -------------------------------------------------------------------------------- /matita/matita/lib/tutorial/chapter7.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/tutorial/chapter7.ma -------------------------------------------------------------------------------- /matita/matita/lib/tutorial/chapter8.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/tutorial/chapter8.ma -------------------------------------------------------------------------------- /matita/matita/lib/tutorial/chapter9.ma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/lib/tutorial/chapter9.ma -------------------------------------------------------------------------------- /matita/matita/matita.conf.xml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matita.conf.xml.in -------------------------------------------------------------------------------- /matita/matita/matita.glade: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matita.glade -------------------------------------------------------------------------------- /matita/matita/matita.glade.utf8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matita.glade.utf8 -------------------------------------------------------------------------------- /matita/matita/matita.gtkrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matita.gtkrc -------------------------------------------------------------------------------- /matita/matita/matita.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matita.lang -------------------------------------------------------------------------------- /matita/matita/matita.ma.templ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matita.ma.templ -------------------------------------------------------------------------------- /matita/matita/matita.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matita.ml -------------------------------------------------------------------------------- /matita/matita/matita.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matita.txt -------------------------------------------------------------------------------- /matita/matita/matitaEngine.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaEngine.ml -------------------------------------------------------------------------------- /matita/matita/matitaEngine.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaEngine.mli -------------------------------------------------------------------------------- /matita/matita/matitaExcPp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaExcPp.ml -------------------------------------------------------------------------------- /matita/matita/matitaExcPp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaExcPp.mli -------------------------------------------------------------------------------- /matita/matita/matitaGtkMisc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaGtkMisc.ml -------------------------------------------------------------------------------- /matita/matita/matitaGtkMisc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaGtkMisc.mli -------------------------------------------------------------------------------- /matita/matita/matitaGui.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaGui.ml -------------------------------------------------------------------------------- /matita/matita/matitaGui.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaGui.mli -------------------------------------------------------------------------------- /matita/matita/matitaGuiTypes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaGuiTypes.mli -------------------------------------------------------------------------------- /matita/matita/matitaInit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaInit.ml -------------------------------------------------------------------------------- /matita/matita/matitaInit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaInit.mli -------------------------------------------------------------------------------- /matita/matita/matitaMathView.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaMathView.ml -------------------------------------------------------------------------------- /matita/matita/matitaMathView.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaMathView.mli -------------------------------------------------------------------------------- /matita/matita/matitaMisc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaMisc.ml -------------------------------------------------------------------------------- /matita/matita/matitaMisc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaMisc.mli -------------------------------------------------------------------------------- /matita/matita/matitaScript.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaScript.ml -------------------------------------------------------------------------------- /matita/matita/matitaScript.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaScript.mli -------------------------------------------------------------------------------- /matita/matita/matitaTypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaTypes.ml -------------------------------------------------------------------------------- /matita/matita/matitaTypes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaTypes.mli -------------------------------------------------------------------------------- /matita/matita/matitac.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitac.ml -------------------------------------------------------------------------------- /matita/matita/matitaclean.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaclean.ml -------------------------------------------------------------------------------- /matita/matita/matitaclean.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/matitaclean.mli -------------------------------------------------------------------------------- /matita/matita/predefined_virtuals.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/predefined_virtuals.ml -------------------------------------------------------------------------------- /matita/matita/predefined_virtuals.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/predefined_virtuals.mli -------------------------------------------------------------------------------- /matita/matita/virtuals.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/virtuals.ml -------------------------------------------------------------------------------- /matita/matita/virtuals.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/matita/matita/virtuals.mli -------------------------------------------------------------------------------- /refiner-ALT-0/debug_end.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/debug_end.elpi -------------------------------------------------------------------------------- /refiner-ALT-0/debug_front.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/debug_front.elpi -------------------------------------------------------------------------------- /refiner-ALT-0/environment_grundlagen.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/environment_grundlagen.elpi -------------------------------------------------------------------------------- /refiner-ALT-0/grundlagen.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/grundlagen.elpi -------------------------------------------------------------------------------- /refiner-ALT-0/kernel.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/kernel.elpi -------------------------------------------------------------------------------- /refiner-ALT-0/kernel_case.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/kernel_case.elpi -------------------------------------------------------------------------------- /refiner-ALT-0/kernel_global.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/kernel_global.elpi -------------------------------------------------------------------------------- /refiner-ALT-0/kernel_inductives.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/kernel_inductives.elpi -------------------------------------------------------------------------------- /refiner-ALT-0/kernel_matita.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/kernel_matita.elpi -------------------------------------------------------------------------------- /refiner-ALT-0/kernel_pts.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/kernel_pts.elpi -------------------------------------------------------------------------------- /refiner-ALT-0/pts_cc.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/pts_cc.elpi -------------------------------------------------------------------------------- /refiner-ALT-0/pts_cc_predicative.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/pts_cc_predicative.elpi -------------------------------------------------------------------------------- /refiner-ALT-0/pts_cic_floating.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/pts_cic_floating.elpi -------------------------------------------------------------------------------- /refiner-ALT-0/refiner_ecc.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/refiner_ecc.elpi -------------------------------------------------------------------------------- /refiner-ALT-0/refiner_pts.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-0/refiner_pts.elpi -------------------------------------------------------------------------------- /refiner-ALT-1/kernel.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-1/kernel.elpi -------------------------------------------------------------------------------- /refiner-ALT-1/kernel_case.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-1/kernel_case.elpi -------------------------------------------------------------------------------- /refiner-ALT-1/kernel_computation.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-1/kernel_computation.elpi -------------------------------------------------------------------------------- /refiner-ALT-1/kernel_conversion.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-1/kernel_conversion.elpi -------------------------------------------------------------------------------- /refiner-ALT-1/kernel_global.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-1/kernel_global.elpi -------------------------------------------------------------------------------- /refiner-ALT-1/kernel_inductives.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-1/kernel_inductives.elpi -------------------------------------------------------------------------------- /refiner-ALT-1/kernel_matita.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-1/kernel_matita.elpi -------------------------------------------------------------------------------- /refiner-ALT-1/kernel_pts.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-1/kernel_pts.elpi -------------------------------------------------------------------------------- /refiner-ALT-1/kernel_trace.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-ALT-1/kernel_trace.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_abbr_typing.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_abbr_typing.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_cic.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_cic.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_cic_floating.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_cic_floating.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_cic_floating_kernel.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_cic_floating_kernel.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_cic_refiner.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_cic_refiner.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_ecc.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_ecc.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_ecc_floating.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_ecc_floating.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_global.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_global.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_inductives.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_inductives.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_kernel_engine.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_kernel_engine.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_kernel_reduction.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_kernel_reduction.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_kernel_reduction0.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_kernel_reduction0.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_machine.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_machine.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_machine_heuristics.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_machine_heuristics.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_machine_refiner.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_machine_refiner.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_match.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_match.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_match_refiner.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_match_refiner.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_matita.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_matita.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_reduction.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_reduction.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_reduction0.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_reduction0.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_refiner_engine.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_refiner_engine.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_typing.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_typing.elpi -------------------------------------------------------------------------------- /refiner-CSC/PTS_typing_refiner.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/PTS_typing_refiner.elpi -------------------------------------------------------------------------------- /refiner-CSC/all_kernel.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/all_kernel.elpi -------------------------------------------------------------------------------- /refiner-CSC/all_refiner.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/all_refiner.elpi -------------------------------------------------------------------------------- /refiner-CSC/debug_kernel.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/debug_kernel.elpi -------------------------------------------------------------------------------- /refiner-CSC/environment_matita.elpi: -------------------------------------------------------------------------------- 1 | ../lib/environment_matita.elpi -------------------------------------------------------------------------------- /refiner-CSC/floating.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/floating.elpi -------------------------------------------------------------------------------- /refiner-CSC/list.elpi: -------------------------------------------------------------------------------- 1 | ../lib/list.elpi -------------------------------------------------------------------------------- /refiner-CSC/logic.elpi: -------------------------------------------------------------------------------- 1 | ../lib/logic.elpi -------------------------------------------------------------------------------- /refiner-CSC/plus_minus.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/plus_minus.elpi -------------------------------------------------------------------------------- /refiner-CSC/spy.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/spy.elpi -------------------------------------------------------------------------------- /refiner-CSC/test_kernel_cic.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/test_kernel_cic.elpi -------------------------------------------------------------------------------- /refiner-CSC/test_kernel_ecc.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/test_kernel_ecc.elpi -------------------------------------------------------------------------------- /refiner-CSC/test_refiner.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/test_refiner.elpi -------------------------------------------------------------------------------- /refiner-CSC/trace_kernel.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/matita/HEAD/refiner-CSC/trace_kernel.elpi --------------------------------------------------------------------------------