data/matita-0.99.3/ChangeLog:                                                            UTF-8 Unicode text
data/matita-0.99.3/docs/manual/html/tacticargs.html:                                     XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/command_check.html:                                  XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/command_coercion.html:                               XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/authoring.html:                                      XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_assumption.html:                                 XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_applyS.html:                                     XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_lapply.html:                                     XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/docbook.css:                                         ASCII text
data/matita-0.99.3/docs/manual/html/tac_cases.html:                                      XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/command_unification_hint.html:                       XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/sec_gettingstarted.html:                             XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/command_include_alias.html:                          XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/sec_commands.html:                                   XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_whd.html:                                        XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/sec_intro.html:                                      XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/proofstatus.html:                                    XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_destruct.html:                                   XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_change.html:                                     XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/inst_from_src.html:                                  XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_intro.html:                                      XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_clear.html:                                      XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/command_universe_constraints.html:                   XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/command_include.html:                                XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/macro_intro.html:                                    XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_apply.html:                                      XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/figures/database.png:                                PNG image data, 484 x 381, 8-bit/color RGB, non-interlaced
data/matita-0.99.3/docs/manual/html/figures/vbox5.png:                                   PNG image data, 811 x 420, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/docs/manual/html/figures/vbox3.png:                                   PNG image data, 620 x 460, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/docs/manual/html/figures/matita.png:                                  PNG image data, 55 x 67, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/docs/manual/html/figures/vbox2.png:                                   PNG image data, 715 x 478, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/docs/manual/html/figures/database.dia:                                gzip compressed data, max compression, from Unix, original size modulo 2^32 83973
data/matita-0.99.3/docs/manual/html/figures/vbox1.png:                                   PNG image data, 840 x 689, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/docs/manual/html/figures/vbox35.png:                                  PNG image data, 539 x 256, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/docs/manual/html/figures/vbox4.png:                                   PNG image data, 689 x 627, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/docs/manual/html/figures/vbox7.png:                                   PNG image data, 804 x 658, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/docs/manual/html/figures/vbox6.png:                                   PNG image data, 332 x 153, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/docs/manual/html/tac_rewrite.html:                                    XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/WrtCoq.html:                                         XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/sec_terms.html:                                      XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/command_qed_minus.html:                              XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_elim.html:                                       XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_letin.html:                                      XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/cicbrowser.html:                                     XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/ch05s02.html:                                        XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/proofs.html:                                         XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/sec_usernotation.html:                               XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/sec_tacticals.html:                                  XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_constructor.html:                                XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/axiom_definition_declaration.html:                   XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/command_qed.html:                                    XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_inversion.html:                                  XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_auto.html:                                       XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_cut.html:                                        XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_generalize.html:                                 XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/sec_tactics.html:                                    XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_decompose.html:                                  XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/index.html:                                          XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/sec_install.html:                                    XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_intro_clear.html:                                XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/sec_license.html:                                    XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tac_normalize.html:                                  XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/html/tacticals.html:                                      XML 1.0 document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/docs/manual/pdf/matita.pdf:                                           PDF document, version 1.5
data/matita-0.99.3/Makefile:                                                             automake makefile script, ASCII text
data/matita-0.99.3/components/xml/test.ml:                                               ASCII text
data/matita-0.99.3/components/xml/xmlPushParser.mli:                                     ASCII text
data/matita-0.99.3/components/xml/xml.mli:                                               ASCII text
data/matita-0.99.3/components/xml/Makefile:                                              ASCII text
data/matita-0.99.3/components/xml/xmlPushParser.ml:                                      ASCII text
data/matita-0.99.3/components/xml/xml.ml:                                                ASCII text
data/matita-0.99.3/components/statuses.txt:                                              ASCII text
data/matita-0.99.3/components/grafite_parser/grafiteParser.ml:                           UTF-8 Unicode text
data/matita-0.99.3/components/grafite_parser/Makefile:                                   makefile script, ASCII text
data/matita-0.99.3/components/grafite_parser/print_grammar.ml:                           ASCII text
data/matita-0.99.3/components/grafite_parser/print_grammar.mli:                          ASCII text
data/matita-0.99.3/components/grafite_parser/grafiteParser.mli:                          ASCII text
data/matita-0.99.3/components/disambiguation/disambiguate.ml:                            ASCII text
data/matita-0.99.3/components/disambiguation/disambiguate.crit4.ml:                      ASCII text
data/matita-0.99.3/components/disambiguation/Makefile:                                   makefile script, ASCII text
data/matita-0.99.3/components/disambiguation/disambiguate.crit2.ml:                      ASCII text
data/matita-0.99.3/components/disambiguation/disambiguateTypes.mli:                      Ruby script, ASCII text
data/matita-0.99.3/components/disambiguation/multiPassDisambiguator.ml:                  ASCII text
data/matita-0.99.3/components/disambiguation/disambiguateTypes.ml:                       Ruby script, ASCII text
data/matita-0.99.3/components/disambiguation/multiPassDisambiguator.mli:                 ASCII text
data/matita-0.99.3/components/disambiguation/disambiguate.mli:                           ASCII text
data/matita-0.99.3/components/content/content.mli:                                       ASCII text
data/matita-0.99.3/components/content/Makefile:                                          ASCII text
data/matita-0.99.3/components/content/notationPp.ml:                                     UTF-8 Unicode text
data/matita-0.99.3/components/content/notationUtil.ml:                                   UTF-8 Unicode text
data/matita-0.99.3/components/content/content.ml:                                        ASCII text
data/matita-0.99.3/components/content/notationPp.mli:                                    ASCII text
data/matita-0.99.3/components/content/notationUtil.mli:                                  ASCII text
data/matita-0.99.3/components/content/notationEnv.ml:                                    ASCII text
data/matita-0.99.3/components/content/notationEnv.mli:                                   ASCII text
data/matita-0.99.3/components/content/notationPt.ml:                                     ASCII text
data/matita-0.99.3/components/syntax_extensions/utf8Macro.ml:                            UTF-8 Unicode text
data/matita-0.99.3/components/syntax_extensions/utf8MacroTable.ml:                       ASCII text
data/matita-0.99.3/components/syntax_extensions/test.ml:                                 ASCII text
data/matita-0.99.3/components/syntax_extensions/pa_unicode_macro.ml:                     ASCII text
data/matita-0.99.3/components/syntax_extensions/make_table.ml:                           ASCII text
data/matita-0.99.3/components/syntax_extensions/Makefile:                                makefile script, ASCII text
data/matita-0.99.3/components/syntax_extensions/data/entities-table.xml:                 XML 1.0 document, ASCII text
data/matita-0.99.3/components/syntax_extensions/data/extra-entities.xml:                 XML 1.0 document, UTF-8 Unicode text
data/matita-0.99.3/components/syntax_extensions/data/dictionary-tex.xml:                 XML 1.0 document, ASCII text
data/matita-0.99.3/components/syntax_extensions/README.syntax:                           ASCII text
data/matita-0.99.3/components/syntax_extensions/utf8Macro.mli:                           ASCII text
data/matita-0.99.3/components/syntax_extensions/utf8MacroTable.ml.txt:                   UTF-8 Unicode text
data/matita-0.99.3/components/syntax_extensions/profiling_macros.ml:                     ASCII text
data/matita-0.99.3/components/METAS/meta.helm-ng_library.src:                            ASCII text
data/matita-0.99.3/components/METAS/meta.helm-ng_cic_content.src:                        ASCII text
data/matita-0.99.3/components/METAS/meta.helm-syntax_extensions.src:                     ASCII text
data/matita-0.99.3/components/METAS/meta.helm-content.src:                               ASCII text
data/matita-0.99.3/components/METAS/meta.helm-getter.src:                                ASCII text
data/matita-0.99.3/components/METAS/meta.helm-grafite_engine.src:                        ASCII text
data/matita-0.99.3/components/METAS/meta.helm-grafite_parser.src:                        ASCII text
data/matita-0.99.3/components/METAS/meta.helm-xml.src:                                   ASCII text
data/matita-0.99.3/components/METAS/meta.helm-disambiguation.src:                        ASCII text
data/matita-0.99.3/components/METAS/meta.helm-grafite.src:                               ASCII text
data/matita-0.99.3/components/METAS/meta.helm-ng_kernel.src:                             ASCII text
data/matita-0.99.3/components/METAS/meta.helm-ng_refiner.src:                            ASCII text
data/matita-0.99.3/components/METAS/meta.helm-thread.src:                                ASCII text
data/matita-0.99.3/components/METAS/meta.helm-ng_disambiguation.src:                     ASCII text
data/matita-0.99.3/components/METAS/meta.helm-library.src:                               ASCII text
data/matita-0.99.3/components/METAS/meta.helm-registry.src:                              ASCII text
data/matita-0.99.3/components/METAS/meta.helm-extlib.src:                                ASCII text
data/matita-0.99.3/components/METAS/meta.helm-ng_paramodulation.src:                     ASCII text
data/matita-0.99.3/components/METAS/meta.helm-ng_extraction.src:                         ASCII text
data/matita-0.99.3/components/METAS/meta.helm-logger.src:                                ASCII text
data/matita-0.99.3/components/METAS/meta.helm-ng_tactics.src:                            ASCII text
data/matita-0.99.3/components/METAS/meta.helm-content_pres.src:                          ASCII text
data/matita-0.99.3/components/Makefile.common:                                           makefile script, ASCII text
data/matita-0.99.3/components/grafite_engine/grafiteTypes.ml:                            ASCII text
data/matita-0.99.3/components/grafite_engine/nCicCoercDeclaration.mli:                   ASCII text
data/matita-0.99.3/components/grafite_engine/Makefile:                                   ASCII text
data/matita-0.99.3/components/grafite_engine/grafiteTypes.mli:                           ASCII text
data/matita-0.99.3/components/grafite_engine/nCicCoercDeclaration.ml:                    ASCII text
data/matita-0.99.3/components/grafite_engine/grafiteEngine.mli:                          ASCII text
data/matita-0.99.3/components/grafite_engine/grafiteEngine.ml:                           ASCII text
data/matita-0.99.3/components/library/libraryMisc.mli:                                   ASCII text
data/matita-0.99.3/components/library/libraryClean.mli:                                  ASCII text
data/matita-0.99.3/components/library/Makefile:                                          ASCII text
data/matita-0.99.3/components/library/libraryClean.ml:                                   Ruby script, ASCII text
data/matita-0.99.3/components/library/librarian.ml:                                      ASCII text
data/matita-0.99.3/components/library/librarian.mli:                                     ASCII text
data/matita-0.99.3/components/library/libraryMisc.ml:                                    ASCII text
data/matita-0.99.3/components/Makefile:                                                  makefile script, ASCII text
data/matita-0.99.3/components/content_pres/cicNotationPres.mli:                          ASCII text
data/matita-0.99.3/components/content_pres/mpresentation.mli:                            ASCII text
data/matita-0.99.3/components/content_pres/boxPp.ml:                                     ASCII text
data/matita-0.99.3/components/content_pres/content2pres.mli:                             ASCII text
data/matita-0.99.3/components/content_pres/cicNotationLexer.mli:                         ASCII text
data/matita-0.99.3/components/content_pres/mpresentation.ml:                             ASCII text
data/matita-0.99.3/components/content_pres/Makefile:                                     makefile script, ASCII text
data/matita-0.99.3/components/content_pres/content2presMatcher.mli:                      Ruby script, ASCII text
data/matita-0.99.3/components/content_pres/termContentPres.mli:                          ASCII text
data/matita-0.99.3/components/content_pres/content2presMatcher.ml:                       Ruby script, ASCII text
data/matita-0.99.3/components/content_pres/termContentPres.ml:                           UTF-8 Unicode text
data/matita-0.99.3/components/content_pres/box.ml:                                       ASCII text
data/matita-0.99.3/components/content_pres/cicNotationLexer.ml:                          ASCII text
data/matita-0.99.3/components/content_pres/box.mli:                                      ASCII text
data/matita-0.99.3/components/content_pres/cicNotationParser.mli:                        ASCII text
data/matita-0.99.3/components/content_pres/renderingAttrs.mli:                           ASCII text
data/matita-0.99.3/components/content_pres/cicNotationPres.ml:                           ASCII text
data/matita-0.99.3/components/content_pres/boxPp.mli:                                    ASCII text
data/matita-0.99.3/components/content_pres/cicNotationParser.ml:                         UTF-8 Unicode text
data/matita-0.99.3/components/content_pres/content2pres.ml:                              ASCII text
data/matita-0.99.3/components/content_pres/renderingAttrs.ml:                            ASCII text
data/matita-0.99.3/components/ng_tactics/nTacStatus.ml:                                  Ruby script, UTF-8 Unicode text
data/matita-0.99.3/components/ng_tactics/nDestructTac.mli:                               ASCII text
data/matita-0.99.3/components/ng_tactics/nTactics.ml:                                    Ruby script, ASCII text
data/matita-0.99.3/components/ng_tactics/nnAuto.ml:                                      ASCII text
data/matita-0.99.3/components/ng_tactics/Makefile:                                       makefile script, ASCII text
data/matita-0.99.3/components/ng_tactics/nInversion.mli:                                 ASCII text
data/matita-0.99.3/components/ng_tactics/nCicElim.mli:                                   ASCII text
data/matita-0.99.3/components/ng_tactics/nDestructTac.ml:                                UTF-8 Unicode text
data/matita-0.99.3/components/ng_tactics/nCicElim.ml:                                    ASCII text
data/matita-0.99.3/components/ng_tactics/nCicTacReduction.ml:                            ASCII text
data/matita-0.99.3/components/ng_tactics/continuationals.ml:                             Ruby script, ASCII text
data/matita-0.99.3/components/ng_tactics/continuationals.mli:                            Ruby script, ASCII text
data/matita-0.99.3/components/ng_tactics/README:                                         UTF-8 Unicode text
data/matita-0.99.3/components/ng_tactics/nTactics.mli:                                   ASCII text
data/matita-0.99.3/components/ng_tactics/nnAuto.mli:                                     ASCII text
data/matita-0.99.3/components/ng_tactics/nInversion.ml:                                  ASCII text
data/matita-0.99.3/components/ng_tactics/nTacStatus.mli:                                 Python script, ASCII text executable
data/matita-0.99.3/components/ng_tactics/nCicTacReduction.mli:                           ASCII text
data/matita-0.99.3/components/registry/helm_registry.mli:                                ASCII text
data/matita-0.99.3/components/registry/test.ml:                                          ASCII text
data/matita-0.99.3/components/registry/tests/sample.xml:                                 XML 1.0 document, ASCII text
data/matita-0.99.3/components/registry/tests/sample_include.xml:                         ASCII text
data/matita-0.99.3/components/registry/Makefile:                                         ASCII text
data/matita-0.99.3/components/registry/helm_registry.ml:                                 ASCII text
data/matita-0.99.3/components/registry/.ocamlinit:                                       ASCII text
data/matita-0.99.3/components/thread/Makefile:                                           makefile script, ASCII text
data/matita-0.99.3/components/thread/extThread.ml:                                       Ruby script, ASCII text
data/matita-0.99.3/components/thread/threadSafe.ml:                                      ASCII text
data/matita-0.99.3/components/thread/extThread.mli:                                      ASCII text
data/matita-0.99.3/components/thread/fake/threadSafe.ml:                                 ASCII text
data/matita-0.99.3/components/thread/fake/threadSafe.mli:                                Python script, ASCII text executable
data/matita-0.99.3/components/thread/threadSafe.mli:                                     Python script, ASCII text executable
data/matita-0.99.3/components/ng_disambiguation/nCicDisambiguate.ml:                     ASCII text
data/matita-0.99.3/components/ng_disambiguation/nnumber_notation.ml:                     ASCII text
data/matita-0.99.3/components/ng_disambiguation/disambiguateChoices.mli:                 ASCII text
data/matita-0.99.3/components/ng_disambiguation/grafiteDisambiguate.mli:                 ASCII text
data/matita-0.99.3/components/ng_disambiguation/nCicDisambiguate.mli:                    ASCII text
data/matita-0.99.3/components/ng_disambiguation/Makefile:                                ASCII text
data/matita-0.99.3/components/ng_disambiguation/nnumber_notation.mli:                    ASCII text
data/matita-0.99.3/components/ng_disambiguation/disambiguateChoices.ml:                  ASCII text
data/matita-0.99.3/components/ng_disambiguation/grafiteDisambiguate.ml:                  ASCII text
data/matita-0.99.3/components/binaries/matitaprover/tptp_cnf.mli:                        ASCII text
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:                     Ruby script, ASCII text
data/matita-0.99.3/components/binaries/matitaprover/sum_up.awk:                          ASCII text
data/matita-0.99.3/components/binaries/matitaprover/eligible_unit_equality_problems:     ASCII text
data/matita-0.99.3/components/binaries/matitaprover/run_on_a_list.sh:                    Bourne-Again shell script, ASCII text executable
data/matita-0.99.3/components/binaries/matitaprover/stdpp.ml:                            ASCII text
data/matita-0.99.3/components/binaries/matitaprover/_tags:                               ASCII text
data/matita-0.99.3/components/binaries/matitaprover/tptp_cnf.ml:                         ASCII text
data/matita-0.99.3/components/binaries/matitaprover/Makefile:                            makefile script, ASCII text
data/matita-0.99.3/components/binaries/matitaprover/TreeLimitedRun.c:                    C source, ASCII text
data/matita-0.99.3/components/binaries/matitaprover/SystemDescriptionMatita.html:        HTML document, ASCII text
data/matita-0.99.3/components/binaries/matitaprover/casc_2008:                           ASCII text
data/matita-0.99.3/components/binaries/matitaprover/Veloci:                              ASCII text
data/matita-0.99.3/components/binaries/matitaprover/CASC_2008:                           ASCII text
data/matita-0.99.3/components/binaries/dump_db/dump.sh:                                  ASCII text
data/matita-0.99.3/components/binaries/Makefile.common:                                  makefile script, ASCII text
data/matita-0.99.3/components/binaries/test_parser/test_parser.ml:                       ASCII text, with escape sequences
data/matita-0.99.3/components/binaries/test_parser/Makefile:                             makefile script, ASCII text
data/matita-0.99.3/components/binaries/test_parser/test_dep.ml:                          ASCII text
data/matita-0.99.3/components/binaries/matex/alpha.ml:                                   Ruby script, ASCII text
data/matita-0.99.3/components/binaries/matex/ground.mli:                                 ASCII text
data/matita-0.99.3/components/binaries/matex/ground.ml:                                  ASCII text
data/matita-0.99.3/components/binaries/matex/kernel.ml:                                  ASCII text
data/matita-0.99.3/components/binaries/matex/engine.ml:                                  ASCII text
data/matita-0.99.3/components/binaries/matex/anticipate.ml:                              ASCII text
data/matita-0.99.3/components/binaries/matex/test/Make:                                  ASCII text
data/matita-0.99.3/components/binaries/matex/test/matex.sty:                             LaTeX document, ASCII text
data/matita-0.99.3/components/binaries/matex/test/basic_1.conf.xml:                      XML 1.0 document, ASCII text
data/matita-0.99.3/components/binaries/matex/test/Makefile:                              TeX document, ASCII text
data/matita-0.99.3/components/binaries/matex/test/test.tex:                              LaTeX 2e document, ASCII text
data/matita-0.99.3/components/binaries/matex/Makefile:                                   ASCII text
data/matita-0.99.3/components/binaries/matex/options.ml:                                 ASCII text
data/matita-0.99.3/components/binaries/matex/anticipate.mli:                             ASCII text
data/matita-0.99.3/components/binaries/matex/matex.ml:                                   ASCII text
data/matita-0.99.3/components/binaries/matex/TeXOutput.mli:                              ASCII text
data/matita-0.99.3/components/binaries/matex/TeXOutput.ml:                               ASCII text
data/matita-0.99.3/components/binaries/matex/options.mli:                                ASCII text
data/matita-0.99.3/components/binaries/matex/TeX.ml:                                     ASCII text
data/matita-0.99.3/components/binaries/matex/alpha.mli:                                  ASCII text
data/matita-0.99.3/components/binaries/matex/engine.mli:                                 ASCII text
data/matita-0.99.3/components/binaries/Makefile:                                         makefile script, ASCII text
data/matita-0.99.3/components/binaries/matitadep/matitadep.ml:                           Ruby script, ASCII text
data/matita-0.99.3/components/binaries/matitadep/Makefile:                               ASCII text
data/matita-0.99.3/components/binaries/saturate/saturate_main.ml:                        Ruby script, ASCII text
data/matita-0.99.3/components/binaries/saturate/Makefile:                                makefile script, ASCII text
data/matita-0.99.3/components/binaries/probe/engine.ml:                                  ASCII text
data/matita-0.99.3/components/binaries/probe/mac.etc:                                    ASCII text
data/matita-0.99.3/components/binaries/probe/matitaRemove.mli:                           ASCII text
data/matita-0.99.3/components/binaries/probe/Makefile:                                   ASCII text
data/matita-0.99.3/components/binaries/probe/options.ml:                                 ASCII text
data/matita-0.99.3/components/binaries/probe/matitaRemove.ml:                            Ruby script, ASCII text
data/matita-0.99.3/components/binaries/probe/nCicScan.ml:                                ASCII text
data/matita-0.99.3/components/binaries/probe/matitaList.ml:                              ASCII text
data/matita-0.99.3/components/binaries/probe/matitaList.mli:                             ASCII text
data/matita-0.99.3/components/binaries/probe/options.mli:                                ASCII text
data/matita-0.99.3/components/binaries/probe/macLexer.mll:                               ASCII text
data/matita-0.99.3/components/binaries/probe/nCicScan.mli:                               ASCII text
data/matita-0.99.3/components/binaries/probe/probe.ml:                                   Ruby script, ASCII text
data/matita-0.99.3/components/binaries/probe/engine.mli:                                 ASCII text
data/matita-0.99.3/components/binaries/test_lexer/test_lexer.ml:                         ASCII text
data/matita-0.99.3/components/binaries/test_lexer/Makefile:                              makefile script, ASCII text
data/matita-0.99.3/components/binaries/xoa/ast.ml:                                       ASCII text
data/matita-0.99.3/components/binaries/xoa/lib.ml:                                       ASCII text
data/matita-0.99.3/components/binaries/xoa/engine.ml:                                    UTF-8 Unicode text
data/matita-0.99.3/components/binaries/xoa/xoa.ml:                                       Ruby script, ASCII text
data/matita-0.99.3/components/binaries/xoa/Makefile:                                     ASCII text
data/matita-0.99.3/components/binaries/xoa/lib.mli:                                      ASCII text
data/matita-0.99.3/components/binaries/xoa/engine.mli:                                   ASCII text
data/matita-0.99.3/components/ng_library/nCicLibrary.ml:                                 Ruby script, ASCII text
data/matita-0.99.3/components/ng_library/Makefile:                                       makefile script, ASCII text
data/matita-0.99.3/components/ng_library/nCicLibrary.mli:                                Python script, ASCII text executable
data/matita-0.99.3/components/ng_refiner/nCicCoercion.mli:                               ASCII text
data/matita-0.99.3/components/ng_refiner/nCicCoercion.ml:                                Ruby script, ASCII text
data/matita-0.99.3/components/ng_refiner/oMeta2nMeta.ml:                                 ASCII text
data/matita-0.99.3/components/ng_refiner/nCicRefineUtil.mli:                             ASCII text
data/matita-0.99.3/components/ng_refiner/nCicUnifHint.mli:                               ASCII text
data/matita-0.99.3/components/ng_refiner/Makefile:                                       ASCII text
data/matita-0.99.3/components/ng_refiner/nCicRefineUtil.ml:                              ASCII text
data/matita-0.99.3/components/ng_refiner/nCicMetaSubst.mli:                              ASCII text
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:                                 Ruby script, ASCII text
data/matita-0.99.3/components/ng_refiner/nCicUnification.mli:                            ASCII text
data/matita-0.99.3/components/ng_refiner/nCicUnifHint.ml:                                Ruby script, ASCII text
data/matita-0.99.3/components/ng_refiner/nCicRefiner.mli:                                ASCII text
data/matita-0.99.3/components/ng_refiner/nDiscriminationTree.ml:                         Ruby script, ASCII text
data/matita-0.99.3/components/ng_refiner/nDiscriminationTree.mli:                        ASCII text
data/matita-0.99.3/components/ng_refiner/esempio.ma:                                     Mathematica 3.0 notebook
data/matita-0.99.3/components/ng_refiner/nCicMetaSubst.ml:                               ASCII text
data/matita-0.99.3/components/ng_refiner/nCicUnification.ml:                             Ruby script, ASCII text
data/matita-0.99.3/components/ng_cic_content/ncic2astMatcher.ml:                         Ruby script, ASCII text
data/matita-0.99.3/components/ng_cic_content/ncic2astMatcher.mli:                        Ruby script, ASCII text
data/matita-0.99.3/components/ng_cic_content/Makefile:                                   makefile script, ASCII text
data/matita-0.99.3/components/ng_cic_content/interpretations.ml:                         Ruby script, ASCII text
data/matita-0.99.3/components/ng_cic_content/interpretations.mli:                        ASCII text
data/matita-0.99.3/components/extlib/trie.mli:                                           Ruby script, ASCII text
data/matita-0.99.3/components/extlib/graphvizPp.mli:                                     ASCII text
data/matita-0.99.3/components/extlib/hTopoSort.mli:                                      Ruby script, ASCII text
data/matita-0.99.3/components/extlib/hMarshal.mli:                                       ASCII text
data/matita-0.99.3/components/extlib/componentsConf.ml.in:                               ASCII text
data/matita-0.99.3/components/extlib/hMarshal.ml:                                        ASCII text
data/matita-0.99.3/components/extlib/trie.ml:                                            Ruby script, ASCII text
data/matita-0.99.3/components/extlib/Makefile:                                           ASCII text
data/matita-0.99.3/components/extlib/graphvizPp.ml:                                      Ruby script, ASCII text
data/matita-0.99.3/components/extlib/componentsConf.mli:                                 ASCII text
data/matita-0.99.3/components/extlib/discrimination_tree.ml:                             Ruby script, ASCII text
data/matita-0.99.3/components/extlib/discrimination_tree.mli:                            Ruby script, ASCII text
data/matita-0.99.3/components/extlib/hExtlib.mli:                                        ASCII text
data/matita-0.99.3/components/extlib/hTopoSort.ml:                                       Ruby script, ASCII text
data/matita-0.99.3/components/extlib/hExtlib.ml:                                         ASCII text
data/matita-0.99.3/components/extlib/hLog.mli:                                           ASCII text
data/matita-0.99.3/components/extlib/patternMatcher.ml:                                  Ruby script, ASCII text
data/matita-0.99.3/components/extlib/hLog.ml:                                            ASCII text, with escape sequences
data/matita-0.99.3/components/extlib/patternMatcher.mli:                                 Ruby script, ASCII text
data/matita-0.99.3/components/logger/helmLogger.ml:                                      ASCII text
data/matita-0.99.3/components/logger/helmLogger.mli:                                     ASCII text
data/matita-0.99.3/components/logger/Makefile:                                           ASCII text
data/matita-0.99.3/components/ng_extraction/coq.ml:                                      Ruby script, UTF-8 Unicode text
data/matita-0.99.3/components/ng_extraction/extraction.ml:                               Mathematica 3.0 notebook
data/matita-0.99.3/components/ng_extraction/common.ml:                                   Mathematica 3.0 notebook
data/matita-0.99.3/components/ng_extraction/nCicExtraction.mli:                          ASCII text
data/matita-0.99.3/components/ng_extraction/nCicExtraction.ml:                           Ruby script, UTF-8 Unicode text
data/matita-0.99.3/components/ng_extraction/ocaml.mli:                                   Mathematica 3.0 notebook
data/matita-0.99.3/components/ng_extraction/Makefile:                                    ASCII text
data/matita-0.99.3/components/ng_extraction/coq.mli:                                     Ruby script, ASCII text
data/matita-0.99.3/components/ng_extraction/miniml.ml:                                   Mathematica 3.0 notebook
data/matita-0.99.3/components/ng_extraction/mlutil.ml:                                   Mathematica 3.0 notebook
data/matita-0.99.3/components/ng_extraction/ocamlExtraction.ml:                          ASCII text
data/matita-0.99.3/components/ng_extraction/mlutil.mli:                                  Mathematica 3.0 notebook
data/matita-0.99.3/components/ng_extraction/ocamlExtractionTable.ml:                     Mathematica 3.0 notebook
data/matita-0.99.3/components/ng_extraction/ocamlExtraction.mli:                         ASCII text
data/matita-0.99.3/components/ng_extraction/ocaml.ml:                                    Mathematica 3.0 notebook
data/matita-0.99.3/components/ng_extraction/ocamlExtractionTable.mli:                    Mathematica 3.0 notebook
data/matita-0.99.3/components/ng_extraction/common.mli:                                  Mathematica 3.0 notebook
data/matita-0.99.3/components/ng_extraction/extraction.mli:                              Mathematica 3.0 notebook
data/matita-0.99.3/components/getter/http_getter_wget.mli:                               ASCII text
data/matita-0.99.3/components/getter/http_getter_logger.mli:                             ASCII text
data/matita-0.99.3/components/getter/test.ml:                                            ASCII text
data/matita-0.99.3/components/getter/mkindexes.pl:                                       Perl script text executable
data/matita-0.99.3/components/getter/http_getter_env.ml:                                 ASCII text
data/matita-0.99.3/components/getter/Makefile:                                           ASCII text
data/matita-0.99.3/components/getter/http_getter_const.mli:                              ASCII text
data/matita-0.99.3/components/getter/http_getter_const.ml:                               HTML document, ASCII text
data/matita-0.99.3/components/getter/sample.conf.xml:                                    ASCII text
data/matita-0.99.3/components/getter/.ocamlinit:                                         ASCII text
data/matita-0.99.3/components/getter/http_getter_common.ml:                              ASCII text
data/matita-0.99.3/components/getter/http_getter.mli:                                    ASCII text
data/matita-0.99.3/components/getter/http_getter_misc.mli:                               ASCII text
data/matita-0.99.3/components/getter/http_getter_storage.mli:                            ASCII text
data/matita-0.99.3/components/getter/http_getter_wget.ml:                                ASCII text
data/matita-0.99.3/components/getter/http_getter_logger.ml:                              ASCII text
data/matita-0.99.3/components/getter/http_getter_common.mli:                             ASCII text
data/matita-0.99.3/components/getter/http_getter_types.ml:                               ASCII text
data/matita-0.99.3/components/getter/http_getter_storage.ml:                             ASCII text
data/matita-0.99.3/components/getter/http_getter_env.mli:                                ASCII text
data/matita-0.99.3/components/getter/http_getter.ml:                                     ASCII text
data/matita-0.99.3/components/getter/http_getter_misc.ml:                                ASCII text
data/matita-0.99.3/components/ng_paramodulation/nCicProof.mli:                           ASCII text
data/matita-0.99.3/components/ng_paramodulation/superposition.ml:                        ASCII text
data/matita-0.99.3/components/ng_paramodulation/nCicBlob.ml:                             Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/index.ml:                                Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/foUtils.ml:                              Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/superposition.mli:                       Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/terms.mli:                               Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/pp.mli:                                  Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/foUnif.ml:                               Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/foSubst.mli:                             ASCII text
data/matita-0.99.3/components/ng_paramodulation/Makefile:                                makefile script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/foUnif.mli:                              Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/nCicProof.ml:                            ASCII text
data/matita-0.99.3/components/ng_paramodulation/foSubst.ml:                              ASCII text
data/matita-0.99.3/components/ng_paramodulation/nCicBlob.mli:                            ASCII text
data/matita-0.99.3/components/ng_paramodulation/nCicParamod.ml:                          Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/stats.ml:                                Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/pp.ml:                                   Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/foUtils.mli:                             Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/paramod.ml:                              Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/index.mli:                               Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/terms.ml:                                Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/paramod.mli:                             ASCII text
data/matita-0.99.3/components/ng_paramodulation/orderings.ml:                            Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/orderings.mli:                           Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/stats.mli:                               Ruby script, ASCII text
data/matita-0.99.3/components/ng_paramodulation/nCicParamod.mli:                         ASCII text
data/matita-0.99.3/components/ng_kernel/nCicUtils.ml:                                    ASCII text
data/matita-0.99.3/components/ng_kernel/nCicPp.mli:                                      Ruby script, ASCII text
data/matita-0.99.3/components/ng_kernel/nCicEnvironment.mli:                             ASCII text
data/matita-0.99.3/components/ng_kernel/nCicSubstitution.mli:                            ASCII text
data/matita-0.99.3/components/ng_kernel/paper.txt:                                       UTF-8 Unicode text
data/matita-0.99.3/components/ng_kernel/nCicPp.ml:                                       UTF-8 Unicode text
data/matita-0.99.3/components/ng_kernel/nCic.ml:                                         ASCII text
data/matita-0.99.3/components/ng_kernel/nCicUntrusted.ml:                                ASCII text
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.mli:                             ASCII text
data/matita-0.99.3/components/ng_kernel/nCicUtils.mli:                                   ASCII text
data/matita-0.99.3/components/ng_kernel/nUri.mli:                                        ASCII text
data/matita-0.99.3/components/ng_kernel/Makefile:                                        ASCII text, with very long lines
data/matita-0.99.3/components/ng_kernel/alluris.txt:                                     ASCII text
data/matita-0.99.3/components/ng_kernel/nCicReduction.mli:                               ASCII text
data/matita-0.99.3/components/ng_kernel/nReference.mli:                                  ASCII text
data/matita-0.99.3/components/ng_kernel/nCicEnvironment.ml:                              Ruby script, ASCII text
data/matita-0.99.3/components/ng_kernel/test.ma:                                         Mathematica 3.0 notebook
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:                                Ruby script, ASCII text
data/matita-0.99.3/components/ng_kernel/bug_universi.ma:                                 Mathematica 3.0 notebook
data/matita-0.99.3/components/ng_kernel/nCicUntrusted.mli:                               ASCII text
data/matita-0.99.3/components/ng_kernel/TODO:                                            UTF-8 Unicode text
data/matita-0.99.3/components/ng_kernel/TEST:                                            UTF-8 Unicode text
data/matita-0.99.3/components/ng_kernel/nCicSubstitution.ml:                             ASCII text
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:                              ASCII text
data/matita-0.99.3/components/ng_kernel/nUri.ml:                                         Ruby script, ASCII text
data/matita-0.99.3/components/ng_kernel/nReference.ml:                                   Ruby script, ASCII text
data/matita-0.99.3/components/grafite/grafiteAstPp.mli:                                  ASCII text
data/matita-0.99.3/components/grafite/Makefile:                                          ASCII text
data/matita-0.99.3/components/grafite/grafiteAst.ml:                                     ASCII text
data/matita-0.99.3/components/grafite/grafiteAstPp.ml:                                   UTF-8 Unicode text
data/matita-0.99.3/configure:                                                            POSIX shell script, ASCII text executable
data/matita-0.99.3/BUGS:                                                                 ASCII text
data/matita-0.99.3/matita/matita.lang:                                                   XML 1.0 document, UTF-8 Unicode text
data/matita-0.99.3/matita/applyTransformation.ml:                                        ASCII text
data/matita-0.99.3/matita/re_complete/basics/pts.ma:                                     ASCII text
data/matita-0.99.3/matita/re_complete/basics/deqsets.ma:                                 UTF-8 Unicode text
data/matita-0.99.3/matita/re_complete/basics/sets.ma:                                    UTF-8 Unicode text
data/matita-0.99.3/matita/re_complete/basics/nat.ma:                                     UTF-8 Unicode text
data/matita-0.99.3/matita/re_complete/basics/hints_declaration.ma:                       UTF-8 Unicode text
data/matita-0.99.3/matita/re_complete/basics/list.ma:                                    UTF-8 Unicode text
data/matita-0.99.3/matita/re_complete/basics/logic.ma:                                   UTF-8 Unicode text
data/matita-0.99.3/matita/re_complete/basics/relations.ma:                               UTF-8 Unicode text
data/matita-0.99.3/matita/re_complete/basics/types.ma:                                   UTF-8 Unicode text
data/matita-0.99.3/matita/re_complete/basics/bool.ma:                                    UTF-8 Unicode text
data/matita-0.99.3/matita/re_complete/basics/listb.ma:                                   UTF-8 Unicode text
data/matita-0.99.3/matita/re_complete/basics/core_notation.ma:                           UTF-8 Unicode text
data/matita-0.99.3/matita/re_complete/re.ma:                                             UTF-8 Unicode text
data/matita-0.99.3/matita/re_complete/lang.ma:                                           UTF-8 Unicode text
data/matita-0.99.3/matita/re_complete/moves.ma:                                          UTF-8 Unicode text
data/matita-0.99.3/matita/re_complete/root:                                              ASCII text
data/matita-0.99.3/matita/lib/arithmetics/minimization.ma:                               UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:                                UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/exp.ma:                                        UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/sqrt.ma:                                       UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/chinese_reminder.ma:                           UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/bounded_quantifiers.ma:                        UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/nat.ma:                                        UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/lstar.ma:                                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/factorization.ma:                    UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/psi_bounds.ma:                       UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/chebyshev_psi.ma:                    UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/bertrand.ma:                         UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/bertrand256.ma:                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/chebyshev_theta.ma:                  UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/nat_commented.ma:                              Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/arithmetics/gcd.ma:                                        UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/sigma_pi.ma:                                   UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/binomial.ma:                                   UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/primes.ma:                                     UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/permutation.ma:                                UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/ord.ma:                                        UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/bigops.ma:                                     UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/pidgeon_hole.ma:                               UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/nth_prime.ma:                                  Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/arithmetics/congruence.ma:                                 UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/factorial.ma:                                  UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/fermat_little_theorem.ma:                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/iteration.ma:                                  UTF-8 Unicode text
data/matita-0.99.3/matita/lib/arithmetics/log.ma:                                        UTF-8 Unicode text
data/matita-0.99.3/matita/lib/extraction.ma:                                             Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/tutorial/chapter13.ma:                                     UTF-8 Unicode text
data/matita-0.99.3/matita/lib/tutorial/chapter5.ma:                                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/tutorial/chapter6.ma:                                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/tutorial/chapter7.ma:                                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/tutorial/chapter12.ma:                                     Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/tutorial/chapter11.ma:                                     UTF-8 Unicode text
data/matita-0.99.3/matita/lib/tutorial/chapter2.ma:                                      Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/tutorial/chapter4.ma:                                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/tutorial/chapter3.ma:                                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/tutorial/chapter8.ma:                                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/tutorial/chapter1.ma:                                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/tutorial/chapter10.ma:                                     UTF-8 Unicode text
data/matita-0.99.3/matita/lib/tutorial/chapter9.ma:                                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/self_typing.ma:                                            Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/preamble.ml:                                               ASCII text
data/matita-0.99.3/matita/lib/basics/lists/lstar.ma:                                     UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/lists/list.ma:                                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/lists/listb.ma:                                     UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/pts.ma:                                             Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/basics/deqsets.ma:                                         UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/star1.ma:                                           UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/sets.ma:                                            UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/vector_finset.ma:                                   UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/jmeq.ma:                                            UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/finset.ma:                                          UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/russell.ma:                                         UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/logic.ma:                                           UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/relations.ma:                                       UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/types.ma:                                           UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/bool.ma:                                            UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/core_notation.ma:                                   UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/vectors.ma:                                         UTF-8 Unicode text
data/matita-0.99.3/matita/lib/basics/star.ma:                                            UTF-8 Unicode text
data/matita-0.99.3/matita/lib/finite_lambda/typing.ma:                                   UTF-8 Unicode text
data/matita-0.99.3/matita/lib/finite_lambda/confluence.ma:                               UTF-8 Unicode text
data/matita-0.99.3/matita/lib/finite_lambda/terms_and_types.ma:                          UTF-8 Unicode text
data/matita-0.99.3/matita/lib/finite_lambda/reduction.ma:                                UTF-8 Unicode text
data/matita-0.99.3/matita/lib/hott/PathGroupoids.ma:                                     ASCII text, with very long lines
data/matita-0.99.3/matita/lib/hott/pts.ma:                                               Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/hott/notations.ma:                                         UTF-8 Unicode text
data/matita-0.99.3/matita/lib/hott/Overture.ma:                                          UTF-8 Unicode text, with very long lines
data/matita-0.99.3/matita/lib/hott/types.ma:                                             Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/MONADS/speranza2.ma:                                       Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/MONADS/speranza.ma:                                        Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/Makefile:                                                  makefile script, ASCII text
data/matita-0.99.3/matita/lib/hints_declaration.ma:                                      Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/re/re.ma:                                                  Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/re/lang.ma:                                                UTF-8 Unicode text
data/matita-0.99.3/matita/lib/re/moves.ma:                                               Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/re/reb.ma:                                                 Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/reverse_complexity/speed_def.ma:                           UTF-8 Unicode text
data/matita-0.99.3/matita/lib/reverse_complexity/hierarchy.ma:                           UTF-8 Unicode text
data/matita-0.99.3/matita/lib/reverse_complexity/speed_new.ma:                           UTF-8 Unicode text
data/matita-0.99.3/matita/lib/reverse_complexity/gap.ma:                                 UTF-8 Unicode text
data/matita-0.99.3/matita/lib/reverse_complexity/speed_clean.ma:                         UTF-8 Unicode text
data/matita-0.99.3/matita/lib/reverse_complexity/big_O.ma:                               UTF-8 Unicode text
data/matita-0.99.3/matita/lib/reverse_complexity/toolkit.ma:                             UTF-8 Unicode text
data/matita-0.99.3/matita/lib/preamble.hs:                                               ASCII text
data/matita-0.99.3/matita/lib/pts_dummy/degree.ma:                                       Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy/rc_sat.ma:                                       Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy/ext.ma:                                          Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy/subject.ma:                                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy/cube.ma:                                         Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy/subterms.ma:                                     UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy/CC2FO_K_cube.ma:                                 Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy/lift.ma:                                         UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy/lambda_notation.ma:                              Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy/arity.ma:                                        Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy/par_reduction.ma:                                UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy/subst.ma:                                        UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy/CC2FO_K.ma:                                      Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy/terms.ma:                                        UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy/rc_eval.ma:                                      Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy/inversion.ma:                                    UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy/arity_eval.ma:                                   Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy/reduction.ma:                                    UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy/sn.ma:                                           Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy/types.ma:                                        UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy/rc_hsat.ma:                                      Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy/convertibility.ma:                               UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy/ext_lambda.ma:                                   Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/turing/if_machine.ma:                                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/multi_to_mono/trace_alphabet.ma:                    UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/multi_to_mono/shift_trace.ma:                       UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/multi_to_mono/step.ma:                              UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/multi_to_mono/exec_moves.ma:                        UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/multi_to_mono/full.ma:                              UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/multi_to_mono/shift_trace_aux.ma:                   UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/multi_to_mono/exec_trace_move.ma:                   UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/multi_to_mono/multi_to_mono.ma:                     UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/while_multi.ma:                                     UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/if_multi.ma:                                        UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/complexity.ma:                                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/turing_old.ma:                                      UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/basic_machines.ma:                                  UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/universal.ma:                                       UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/auxiliary_machines.ma:                              UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/inject.ma:                                          UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/while_machine.ma:                                   UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/mono.ma:                                            UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:                           Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/turing/multi_universal/normalTM.ma:                        UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:                     UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/multi_universal/tuples.ma:                          UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/multi_universal/universal.ma:                       UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep.ma:                         UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/multi_universal/binaryTM.ma:                        Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/turing/multi_universal/alphabet.ma:                        UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/turing.ma:                                          UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/basic_multi_machines.ma:                            UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/oracle.ma:                                          UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/auxiliary_multi_machines.ma:                        UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/wmono.ma:                                           UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/ntm.ma:                                             UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/move_char.ma:                                       UTF-8 Unicode text
data/matita-0.99.3/matita/lib/turing/auxiliary_machines1.ma:                             UTF-8 Unicode text
data/matita-0.99.3/matita/lib/binding/names.ma:                                          Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/binding/ln_concrete.ma:                                    Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/binding/db.ma:                                             Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/binding/fp.ma:                                             Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/binding/ln.ma:                                             Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/fail.txt:                                                  ASCII text
data/matita-0.99.3/matita/lib/pts_dummy_new/thinning.ma:                                 UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy_new/rc_sat.ma:                                   Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy_new/ext.ma:                                      Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy_new/subject.ma:                                  UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy_new/cube.ma:                                     Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy_new/subterms.ma:                                 UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy_new/lambda_notation.ma:                          Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy_new/arity.ma:                                    Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy_new/par_reduction.ma:                            UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy_new/subst.ma:                                    UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy_new/terms.ma:                                    UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy_new/rc_eval.ma:                                  Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy_new/inversion.ma:                                UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy_new/arity_eval.ma:                               Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy_new/reduction.ma:                                UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy_new/sn.ma:                                       Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy_new/types.ma:                                    UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy_new/rc_hsat.ma:                                  Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/pts_dummy_new/convertibility.ma:                           UTF-8 Unicode text
data/matita-0.99.3/matita/lib/pts_dummy_new/ext_lambda.ma:                               Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/inconsistent.ma:                                           Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/root:                                                      ASCII text
data/matita-0.99.3/matita/lib/formal_topology/o-basic_pairs_to_o-basic_topologies.ma:    Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/basic_pairs_to_o-basic_pairs.ma:           Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/o-basic_pairs.ma:                          Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/concrete_spaces.ma:                        Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/o-concrete_spaces.ma:                      Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/r-o-basic_pairs.ma:                        Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/cprop_connectives.ma:                      Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/o-formal_topologies.ma:                    Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/basic_topologies.ma:                       Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/apply_functor.ma:                          Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/basic_pairs.ma:                            Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/subsets.ma:                                Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/o-saturations.ma:                          Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/saturations.ma:                            Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/o-basic_topologies.ma:                     UTF-8 Unicode text
data/matita-0.99.3/matita/lib/formal_topology/relations.ma:                              Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/categories.ma:                             Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/saturations_to_o-saturations.ma:           Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma:        Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/relations_to_o-algebra.ma:                 Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/o-algebra.ma:                              Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/formal_topologies.ma:                      Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/basic_topologies_to_o-basic_topologies.ma: Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/replace.sh:                                POSIX shell script, ASCII text executable
data/matita-0.99.3/matita/lib/formal_topology/notation.ma:                               Mathematica 3.0 notebook
data/matita-0.99.3/matita/lib/formal_topology/concrete_spaces_to_o-concrete_spaces.ma:   Mathematica 3.0 notebook
data/matita-0.99.3/matita/dist/ChangeLog:                                                UTF-8 Unicode text
data/matita-0.99.3/matita/dist/fill_db.sh:                                               Bourne-Again shell script, ASCII text executable
data/matita-0.99.3/matita/dist/Makefile:                                                 makefile script, ASCII text
data/matita-0.99.3/matita/dist/BUGS:                                                     ASCII text
data/matita-0.99.3/matita/dist/static_link/static_link.ml:                               ASCII text
data/matita-0.99.3/matita/dist/static_link/Makefile:                                     makefile script, ASCII text
data/matita-0.99.3/matita/dist/COPYING:                                                  ASCII text
data/matita-0.99.3/matita/dist/TODO:                                                     UTF-8 Unicode text
data/matita-0.99.3/matita/dist/configure.ac.sed:                                         ASCII text
data/matita-0.99.3/matita/virtuals.mli:                                                  UTF-8 Unicode text
data/matita-0.99.3/matita/matita.glade:                                                  XML 1.0 document, ASCII text
data/matita-0.99.3/matita/cicMathView.mli:                                               ASCII text
data/matita-0.99.3/matita/matita.conf.xml.in:                                            XML 1.0 document, ASCII text
data/matita-0.99.3/matita/matitac.ml:                                                    ASCII text
data/matita-0.99.3/matita/predefined_virtuals.ml:                                        UTF-8 Unicode text
data/matita-0.99.3/matita/matitaScript.ml:                                               ASCII text
data/matita-0.99.3/matita/matita.gtkrc:                                                  ASCII text
data/matita-0.99.3/matita/doc/primer.txt:                                                UTF-8 Unicode text
data/matita-0.99.3/matita/matitaInit.ml:                                                 ASCII text
data/matita-0.99.3/matita/buildTimeConf.ml.in:                                           ASCII text
data/matita-0.99.3/matita/lablGraphviz.mli:                                              ASCII text
data/matita-0.99.3/matita/matita.txt:                                                    LaTeX document, ASCII text
data/matita-0.99.3/matita/help/C/legal.xml:                                              ASCII text
data/matita-0.99.3/matita/help/C/sec_tacticals.xml:                                      HTML document, UTF-8 Unicode text
data/matita-0.99.3/matita/help/C/sec_license.xml:                                        HTML document, ASCII text
data/matita-0.99.3/matita/help/C/docbook.css:                                            ASCII text
data/matita-0.99.3/matita/help/C/sec_gettingstarted.xml:                                 HTML document, UTF-8 Unicode text
data/matita-0.99.3/matita/help/C/sec_declarative_tactics.xml:                            HTML document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/matita/help/C/sec_tactics.xml:                                        HTML document, UTF-8 Unicode text
data/matita-0.99.3/matita/help/C/sec_commands.xml:                                       HTML document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/matita/help/C/Makefile:                                               makefile script, ASCII text
data/matita-0.99.3/matita/help/C/figures/database.png:                                   PNG image data, 484 x 381, 8-bit/color RGB, non-interlaced
data/matita-0.99.3/matita/help/C/figures/vbox5.png:                                      PNG image data, 811 x 420, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/help/C/figures/vbox3.png:                                      PNG image data, 620 x 460, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/help/C/figures/matita.png:                                     PNG image data, 55 x 67, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/help/C/figures/vbox2.png:                                      PNG image data, 715 x 478, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/help/C/figures/database.dia:                                   gzip compressed data, max compression, from Unix, original size modulo 2^32 83973
data/matita-0.99.3/matita/help/C/figures/vbox1.png:                                      PNG image data, 840 x 689, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/help/C/figures/vbox35.png:                                     PNG image data, 539 x 256, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/help/C/figures/vbox4.png:                                      PNG image data, 689 x 627, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/help/C/figures/vbox7.png:                                      PNG image data, 804 x 658, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/help/C/figures/vbox6.png:                                      PNG image data, 332 x 153, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/help/C/sec_usernotation.xml:                                   HTML document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/matita/help/C/tactics_quickref.xml:                                   HTML document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/matita/help/C/xsl/tactic_quickref.xsl:                                HTML document, ASCII text
data/matita-0.99.3/matita/help/C/xsl/matita-fo.xsl:                                      XML 1.0 document, ASCII text
data/matita-0.99.3/matita/help/C/xsl/matita-xhtml.xsl:                                   XML 1.0 document, ASCII text
data/matita-0.99.3/matita/help/C/scripts/fix-symbols.sh:                                 POSIX shell script, ASCII text executable
data/matita-0.99.3/matita/help/C/tactic_quickref.xml:                                    HTML document, ASCII text
data/matita-0.99.3/matita/help/C/sec_install.xml:                                        HTML document, ASCII text
data/matita-0.99.3/matita/help/C/matita.xml:                                             XML 1.0 document, ASCII text
data/matita-0.99.3/matita/help/C/xhtml1-transitional.dtd:                                exported SGML document, ASCII text
data/matita-0.99.3/matita/help/C/version.txt.in:                                         ASCII text
data/matita-0.99.3/matita/help/C/TODO:                                                   ASCII text
data/matita-0.99.3/matita/help/C/sec_intro.xml:                                          HTML document, ASCII text
data/matita-0.99.3/matita/help/C/declarative_tactics_quickref.xml:                       HTML document, ASCII text
data/matita-0.99.3/matita/help/C/sec_terms.xml:                                          HTML document, UTF-8 Unicode text, with very long lines
data/matita-0.99.3/matita/matita.ma.templ:                                               Mathematica 3.0 notebook
data/matita-0.99.3/matita/matitaclean.mli:                                               ASCII text
data/matita-0.99.3/matita/Makefile:                                                      makefile script, ASCII text
data/matita-0.99.3/matita/applyTransformation.mli:                                       Python script, ASCII text executable
data/matita-0.99.3/matita/matitaMathView.ml:                                             Ruby script, ASCII text
data/matita-0.99.3/matita/matitaGtkMisc.mli:                                             Python script, ASCII text executable
data/matita-0.99.3/matita/icons/meegg.png:                                               PNG image data, 450 x 232, 8-bit/color RGB, non-interlaced
data/matita-0.99.3/matita/icons/matita-folder.png:                                       PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/icons/matita_medium.png:                                       PNG image data, 210 x 256, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/icons/matita.png:                                              PNG image data, 485 x 590, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/icons/matita-32.xpm:                                           X pixmap image, ASCII text
data/matita-0.99.3/matita/icons/matita_small.png:                                        PNG image data, 79 x 96, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/icons/matita-bulb-low.png:                                     PNG image data, 20 x 20, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/icons/whelp.png:                                               PNG image data, 20 x 19, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/icons/matita-bulb-medium.png:                                  PNG image data, 20 x 20, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/icons/matita_very_small.png:                                   PNG image data, 55 x 67, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/icons/matita-theory.png:                                       PNG image data, 23 x 24, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/icons/whelp.svg:                                               SVG Scalable Vector Graphics image
data/matita-0.99.3/matita/icons/matita-bulb-high.png:                                    PNG image data, 20 x 20, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/icons/matita-object.png:                                       PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced
data/matita-0.99.3/matita/DA_FARE:                                                       ASCII text
data/matita-0.99.3/matita/projdat/tuples.ma:                                             Mathematica 3.0 notebook
data/matita-0.99.3/matita/projdat/nth_proj.ma:                                           Mathematica 3.0 notebook
data/matita-0.99.3/matita/projdat/tuples2.ma:                                            Mathematica 3.0 notebook
data/matita-0.99.3/matita/projdat/hypergraph.ma:                                         Mathematica 3.0 notebook
data/matita-0.99.3/matita/projdat/database.ma:                                           Mathematica 3.0 notebook
data/matita-0.99.3/matita/projdat/basic_type.ma:                                         Mathematica 3.0 notebook
data/matita-0.99.3/matita/projdat/coerc.ma:                                              Mathematica 3.0 notebook
data/matita-0.99.3/matita/matitaGeneratedGui.ml:                                         exported SGML document, ASCII text, with very long lines
data/matita-0.99.3/matita/matitaTypes.ml:                                                ASCII text
data/matita-0.99.3/matita/.ocamlinit:                                                    ASCII text
data/matita-0.99.3/matita/lablGraphviz.ml:                                               ASCII text
data/matita-0.99.3/matita/legacy/depends:                                                ASCII text
data/matita-0.99.3/matita/legacy/Makefile:                                               ASCII text
data/matita-0.99.3/matita/legacy/coq.ma:                                                 Mathematica 3.0 notebook
data/matita-0.99.3/matita/legacy/root:                                                   ASCII text
data/matita-0.99.3/matita/matitaEngine.mli:                                              Python script, ASCII text executable
data/matita-0.99.3/matita/matitaMathView.mli:                                            ASCII text
data/matita-0.99.3/matita/dictionary-matita.xml:                                         XML 1.0 document, ASCII text
data/matita-0.99.3/matita/matita.ml:                                                     ASCII text
data/matita-0.99.3/matita/matitaExcPp.ml:                                                ASCII text
data/matita-0.99.3/matita/matitaScript.mli:                                              ASCII text
data/matita-0.99.3/matita/AUTHORS:                                                       ASCII text
data/matita-0.99.3/matita/matitaGui.ml:                                                  UTF-8 Unicode text, with escape sequences
data/matita-0.99.3/matita/closed.xml:                                                    XML 1.0 document, ASCII text
data/matita-0.99.3/matita/matitaGui.mli:                                                 ASCII text
data/matita-0.99.3/matita/matitaGtkMisc.ml:                                              ASCII text
data/matita-0.99.3/matita/matitaGuiTypes.mli:                                            ASCII text
data/matita-0.99.3/matita/matitaTypes.mli:                                               ASCII text
data/matita-0.99.3/matita/matitaExcPp.mli:                                               ASCII text
data/matita-0.99.3/matita/matitaMisc.mli:                                                ASCII text
data/matita-0.99.3/matita/matitaInit.mli:                                                ASCII text
data/matita-0.99.3/matita/matitaMisc.ml:                                                 ASCII text
data/matita-0.99.3/matita/matitaEngine.ml:                                               Ruby script, ASCII text, with escape sequences
data/matita-0.99.3/matita/cicMathView.ml:                                                UTF-8 Unicode text, with very long lines
data/matita-0.99.3/matita/virtuals.ml:                                                   ASCII text
data/matita-0.99.3/matita/matitaclean.ml:                                                Ruby script, ASCII text
data/matita-0.99.3/matita/predefined_virtuals.mli:                                       ASCII text
data/matita-0.99.3/matita/LICENSE:                                                       ASCII text
data/matita-0.99.3/AUTHORS:                                                              ASCII text
data/matita-0.99.3/COPYING:                                                              ASCII text
data/matita-0.99.3/Makefile.defs.in:                                                     ASCII text
data/matita-0.99.3/LICENSE:                                                              ASCII text
data/matita-0.99.3/debian/matita.menu:                                                   ASCII text
data/matita-0.99.3/debian/README.source:                                                 ASCII text
data/matita-0.99.3/debian/patches/series:                                                ASCII text
data/matita-0.99.3/debian/patches/0001-remove-dependency-on-mysql.patch:                 unified diff output, ASCII text
data/matita-0.99.3/debian/rules:                                                         a /usr/bin/make -f script, ASCII text executable
data/matita-0.99.3/debian/matita.install:                                                ASCII text
data/matita-0.99.3/debian/matita.desktop:                                                ASCII text
data/matita-0.99.3/debian/changelog:                                                     UTF-8 Unicode text
data/matita-0.99.3/debian/gbp.conf:                                                      ASCII text
data/matita-0.99.3/debian/copyright:                                                     UTF-8 Unicode text
data/matita-0.99.3/debian/control:                                                       ASCII text
data/matita-0.99.3/debian/compat:                                                        ASCII text
data/matita-0.99.3/debian/TODO.Debian:                                                   ASCII text
data/matita-0.99.3/debian/matita.dirs:                                                   ASCII text
data/matita-0.99.3/debian/source/format:                                                 ASCII text
data/matita-0.99.3/.pc/.version:                                                         ASCII text
data/matita-0.99.3/.pc/.quilt_patches:                                                   ASCII text
data/matita-0.99.3/.pc/.quilt_series:                                                    ASCII text
data/matita-0.99.3/.pc/applied-patches:                                                  ASCII text
data/matita-0.99.3/.pc/0001-remove-dependency-on-mysql.patch/configure.ac:               ASCII text
data/matita-0.99.3/configure.ac:                                                         ASCII text