data/coq-doc-8.6/dev/vm_printers.ml: ASCII text data/coq-doc-8.6/dev/v8-syntax/syntax-v8.tex: LaTeX 2e document, UTF-8 Unicode text data/coq-doc-8.6/dev/v8-syntax/memo-v8.tex: LaTeX 2e document, UTF-8 Unicode text data/coq-doc-8.6/dev/v8-syntax/check-grammar: POSIX shell script, ASCII text executable data/coq-doc-8.6/dev/TODO: UTF-8 Unicode text data/coq-doc-8.6/dev/dynlink.ml: ASCII text data/coq-doc-8.6/dev/header: Mathematica 3.0 notebook data/coq-doc-8.6/dev/top_printers.ml: Mathematica 3.0 notebook data/coq-doc-8.6/dev/set_raw_db: ASCII text data/coq-doc-8.6/dev/tools/objects.el: Lisp/Scheme program, ASCII text data/coq-doc-8.6/dev/tools/Makefile.subdir: ASCII text data/coq-doc-8.6/dev/tools/Makefile.devel: ASCII text data/coq-doc-8.6/dev/tools/anomaly-traces-parser.el: Lisp/Scheme program, ASCII text data/coq-doc-8.6/dev/tools/Makefile.dir: makefile script, ASCII text data/coq-doc-8.6/dev/tools/change-header: POSIX shell script, ASCII text executable data/coq-doc-8.6/dev/README: ASCII text data/coq-doc-8.6/dev/macosify_accel.sh: a /usr/bin/sed -f script, ASCII text executable data/coq-doc-8.6/dev/nsis/FileAssociation.nsh: ASCII text data/coq-doc-8.6/dev/nsis/coq.nsi: ASCII text data/coq-doc-8.6/dev/db: ASCII text data/coq-doc-8.6/dev/base_db: ASCII text data/coq-doc-8.6/dev/ocamldebug-coq.run: POSIX shell script, ASCII text executable data/coq-doc-8.6/dev/db_printers.ml: Mathematica 3.0 notebook data/coq-doc-8.6/dev/include: ASCII text data/coq-doc-8.6/dev/printers.mllib: ASCII text data/coq-doc-8.6/dev/build/osx/make-macos-dmg.sh: Bourne-Again shell script, ASCII text executable data/coq-doc-8.6/dev/build/windows/MakeCoq_regtest_noproxy.bat: ASCII text, with CRLF, LF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_MinGW.bat: DOS batch file, ASCII text data/coq-doc-8.6/dev/build/windows/MakeCoq_86git_abs_ocaml.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_86beta1_installer.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_86_abs_ocaml.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_86beta1_installer_32.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/patches_coq/coq-8.4pl2.patch: unified diff output, ASCII text data/coq-doc-8.6/dev/build/windows/patches_coq/ReplaceInFile.nsh: ASCII text data/coq-doc-8.6/dev/build/windows/patches_coq/glib-2.46.0.patch: unified diff output, ASCII text data/coq-doc-8.6/dev/build/windows/patches_coq/camlp4-4.02+6.patch: unified diff output, ASCII text data/coq-doc-8.6/dev/build/windows/patches_coq/lablgtk-2.18.3.patch: unified diff output, ASCII text data/coq-doc-8.6/dev/build/windows/patches_coq/coq_new.nsi: ASCII text data/coq-doc-8.6/dev/build/windows/patches_coq/flexdll-0.34.patch: unified diff output, ASCII text data/coq-doc-8.6/dev/build/windows/patches_coq/isl-0.14.patch: unified diff output, ASCII text data/coq-doc-8.6/dev/build/windows/patches_coq/StrRep.nsh: ASCII text data/coq-doc-8.6/dev/build/windows/patches_coq/coq-8.4pl6.patch: unified diff output, ASCII text data/coq-doc-8.6/dev/build/windows/patches_coq/gtksourceview-2.11.2.patch: diff output, ASCII text data/coq-doc-8.6/dev/build/windows/patches_coq/ln.c: C source, ASCII text data/coq-doc-8.6/dev/build/windows/MakeCoq_regtests.bat: ASCII text data/coq-doc-8.6/dev/build/windows/MakeCoq_86rc1_abs_ocaml.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_86_installer.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_SetRootPath.bat: DOS batch file, ASCII text data/coq-doc-8.6/dev/build/windows/MakeCoq_86git_abs_ocaml_gtksrc.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_85pl3_abs_ocaml.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/configure_profile.sh: Bourne-Again shell script, ASCII text executable data/coq-doc-8.6/dev/build/windows/MakeCoq_86rc1_installer.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/CAVEATS.txt: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_86rc1_installer_32.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/difftar-folder.sh: Bourne-Again shell script, ASCII text executable data/coq-doc-8.6/dev/build/windows/makecoq_mingw.sh: Bourne-Again shell script, ASCII text executable data/coq-doc-8.6/dev/build/windows/MakeCoq_86beta1_abs_ocaml.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_86_installer_32.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/ReadMe.txt: ASCII text data/coq-doc-8.6/dev/build/windows/MakeCoq_86git_installer2.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_84pl6_abs_ocaml.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_86git_installer.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_85pl2_abs_ocaml.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_85pl3_installer_32.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_86git_installer_32.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/build/windows/MakeCoq_85pl3_installer.bat: ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/doc/build-system.txt: ASCII text data/coq-doc-8.6/dev/doc/README-V1-V5.asciidoc: UTF-8 Unicode text data/coq-doc-8.6/dev/doc/build-system.dev.txt: UTF-8 Unicode text data/coq-doc-8.6/dev/doc/transition-V6-V7: UTF-8 Unicode text data/coq-doc-8.6/dev/doc/cic.dtd: XML document, ASCII text data/coq-doc-8.6/dev/doc/universes.txt: ASCII text data/coq-doc-8.6/dev/doc/translate.txt: ASCII text data/coq-doc-8.6/dev/doc/old_svn_branches.txt: ASCII text data/coq-doc-8.6/dev/doc/versions-history.tex: LaTeX 2e document, UTF-8 Unicode text data/coq-doc-8.6/dev/doc/naming-conventions.tex: LaTeX 2e document, UTF-8 Unicode text, with very long lines data/coq-doc-8.6/dev/doc/debugging.txt: ASCII text data/coq-doc-8.6/dev/doc/ocamlbuild.txt: ASCII text data/coq-doc-8.6/dev/doc/changes.txt: UTF-8 Unicode text data/coq-doc-8.6/dev/doc/setup.txt: Lisp/Scheme program, ASCII text data/coq-doc-8.6/dev/doc/profiling.txt: UTF-8 Unicode text data/coq-doc-8.6/dev/doc/univpoly.txt: ASCII text data/coq-doc-8.6/dev/doc/drop.txt: ASCII text data/coq-doc-8.6/dev/doc/transition-V5.10-V6: UTF-8 Unicode text data/coq-doc-8.6/dev/doc/about-hints: ASCII text data/coq-doc-8.6/dev/doc/minicoq.tex: LaTeX 2e document, ASCII text data/coq-doc-8.6/dev/doc/unification.txt: ASCII text data/coq-doc-8.6/dev/doc/extensions.txt: UTF-8 Unicode text data/coq-doc-8.6/dev/doc/perf-analysis: ASCII text data/coq-doc-8.6/dev/doc/style.txt: Lisp/Scheme program, UTF-8 Unicode text data/coq-doc-8.6/dev/doc/notes-on-conversion: Mathematica 3.0 notebook data/coq-doc-8.6/dev/doc/newsyntax.tex: LaTeX 2e document, UTF-8 Unicode text data/coq-doc-8.6/dev/doc/coq-src-description.txt: ASCII text data/coq-doc-8.6/dev/base_include: ASCII text data/coq-doc-8.6/dev/ocamldoc/header.tex: LaTeX 2e document, ASCII text data/coq-doc-8.6/dev/ocamldoc/html/style.css: assembler source, ASCII text, with CRLF line terminators data/coq-doc-8.6/dev/ocamldoc/fix-ocamldoc-utf8: POSIX shell script, ASCII text executable data/coq-doc-8.6/dev/ocamldoc/docintro: ASCII text data/coq-doc-8.6/dev/Makefile.oug: ASCII text data/coq-doc-8.6/engine/uState.mli: Mathematica 3.0 notebook data/coq-doc-8.6/engine/sigma.ml: Mathematica 3.0 notebook data/coq-doc-8.6/engine/logic_monad.ml: Mathematica 3.0 notebook data/coq-doc-8.6/engine/evd.ml: Mathematica 3.0 notebook data/coq-doc-8.6/engine/geninterp.ml: Mathematica 3.0 notebook data/coq-doc-8.6/engine/ftactic.ml: Mathematica 3.0 notebook data/coq-doc-8.6/engine/proofview_monad.mli: Mathematica 3.0 notebook data/coq-doc-8.6/engine/evarutil.mli: Mathematica 3.0 notebook data/coq-doc-8.6/engine/evd.mli: Mathematica 3.0 notebook data/coq-doc-8.6/engine/logic_monad.mli: Mathematica 3.0 notebook data/coq-doc-8.6/engine/proofview.ml: Mathematica 3.0 notebook data/coq-doc-8.6/engine/geninterp.mli: Mathematica 3.0 notebook data/coq-doc-8.6/engine/termops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/engine/sigma.mli: Mathematica 3.0 notebook data/coq-doc-8.6/engine/namegen.ml: Mathematica 3.0 notebook data/coq-doc-8.6/engine/uState.ml: Mathematica 3.0 notebook data/coq-doc-8.6/engine/proofview_monad.ml: Mathematica 3.0 notebook data/coq-doc-8.6/engine/engine.mllib: ASCII text data/coq-doc-8.6/engine/evarutil.ml: Mathematica 3.0 notebook data/coq-doc-8.6/engine/termops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/engine/namegen.mli: Mathematica 3.0 notebook data/coq-doc-8.6/engine/ftactic.mli: Mathematica 3.0 notebook data/coq-doc-8.6/engine/proofview.mli: Mathematica 3.0 notebook data/coq-doc-8.6/install.sh: POSIX shell script, ASCII text executable data/coq-doc-8.6/grammar/compat5.ml: Mathematica 3.0 notebook data/coq-doc-8.6/grammar/compat5b.mlp: Mathematica 3.0 notebook data/coq-doc-8.6/grammar/tacextend.mlp: Mathematica 3.0 notebook data/coq-doc-8.6/grammar/q_util.mli: Mathematica 3.0 notebook data/coq-doc-8.6/grammar/compat5.mlp: Mathematica 3.0 notebook data/coq-doc-8.6/grammar/argextend.mlp: Mathematica 3.0 notebook data/coq-doc-8.6/grammar/q_util.mlp: Mathematica 3.0 notebook data/coq-doc-8.6/grammar/vernacextend.mlp: Mathematica 3.0 notebook data/coq-doc-8.6/grammar/gramCompat.mlp: Mathematica 3.0 notebook data/coq-doc-8.6/checker/validate.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/check_stat.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/.depend: ASCII text data/coq-doc-8.6/checker/values.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/modops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/typeops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/safe_typing.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/indtypes.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/indtypes.mli: Mathematica 3.0 notebook data/coq-doc-8.6/checker/inductive.mli: Mathematica 3.0 notebook data/coq-doc-8.6/checker/check_stat.mli: Mathematica 3.0 notebook data/coq-doc-8.6/checker/typeops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/checker/main.ml: ASCII text data/coq-doc-8.6/checker/modops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/checker/analyze.mli: UTF-8 Unicode text data/coq-doc-8.6/checker/cic.mli: Mathematica 3.0 notebook data/coq-doc-8.6/checker/term.mli: ASCII text data/coq-doc-8.6/checker/closure.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/reduction.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/analyze.ml: Ruby script, UTF-8 Unicode text data/coq-doc-8.6/checker/mod_checking.mli: Mathematica 3.0 notebook data/coq-doc-8.6/checker/closure.mli: Mathematica 3.0 notebook data/coq-doc-8.6/checker/univ.mli: Mathematica 3.0 notebook data/coq-doc-8.6/checker/check.mllib: ASCII text data/coq-doc-8.6/checker/mod_checking.ml: ASCII text data/coq-doc-8.6/checker/print.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/reduction.mli: Mathematica 3.0 notebook data/coq-doc-8.6/checker/subtyping.mli: Mathematica 3.0 notebook data/coq-doc-8.6/checker/Makefile: makefile script, ASCII text data/coq-doc-8.6/checker/votour.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/environ.mli: ASCII text data/coq-doc-8.6/checker/type_errors.mli: Mathematica 3.0 notebook data/coq-doc-8.6/checker/include: ASCII text data/coq-doc-8.6/checker/type_errors.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/declarations.ml: Ruby script, ASCII text data/coq-doc-8.6/checker/declarations.mli: ASCII text data/coq-doc-8.6/checker/environ.ml: ASCII text data/coq-doc-8.6/checker/univ.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/checker.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/subtyping.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/term.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/safe_typing.mli: Mathematica 3.0 notebook data/coq-doc-8.6/checker/inductive.ml: Mathematica 3.0 notebook data/coq-doc-8.6/checker/check.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/nativeconv.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/term_typing.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/retroknowledge.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/nativelambda.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/cooking.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/byterun/coq_values.h: C source, ASCII text data/coq-doc-8.6/kernel/byterun/coq_memory.h: C source, ASCII text data/coq-doc-8.6/kernel/byterun/libcoqrun.clib: ASCII text data/coq-doc-8.6/kernel/byterun/coq_values.c: C source, ASCII text data/coq-doc-8.6/kernel/byterun/coq_fix_code.c: C source, ASCII text data/coq-doc-8.6/kernel/byterun/coq_gc.h: C source, ASCII text data/coq-doc-8.6/kernel/byterun/coq_instruct.h: C source, ASCII text data/coq-doc-8.6/kernel/byterun/coq_memory.c: C source, ASCII text data/coq-doc-8.6/kernel/byterun/coq_interp.h: ASCII text data/coq-doc-8.6/kernel/byterun/coq_fix_code.h: C source, ASCII text data/coq-doc-8.6/kernel/byterun/coq_interp.c: C source, ASCII text data/coq-doc-8.6/kernel/modops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/sorts.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/esubst.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/constr.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/typeops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/primitives.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/cClosure.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/term_typing.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/safe_typing.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/indtypes.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/doc.tex: LaTeX document, ASCII text data/coq-doc-8.6/kernel/esubst.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/csymtable.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/cbytegen.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/indtypes.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/fast_typeops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/inductive.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/vars.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/cClosure.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/conv_oracle.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/typeops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/modops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/evar.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/mod_typing.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/cooking.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/cbytegen.mli: ASCII text data/coq-doc-8.6/kernel/names.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/conv_oracle.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/term.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/csymtable.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/uGraph.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/uint31.mli: ASCII text data/coq-doc-8.6/kernel/declareops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/nativelibrary.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/entries.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/nativeconv.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/nativevalues.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/mod_subst.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/reduction.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/context.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/mod_typing.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/vconv.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/nativelambda.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/univ.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/retroknowledge.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/cbytecodes.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/uGraph.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/declareops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/nativecode.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/sorts.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/fast_typeops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/uint31.ml: ASCII text data/coq-doc-8.6/kernel/reduction.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/make-opcodes: ASCII text data/coq-doc-8.6/kernel/vars.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/mod_subst.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/cemitcodes.mli: ASCII text data/coq-doc-8.6/kernel/kernel.mllib: ASCII text data/coq-doc-8.6/kernel/primitives.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/vconv.ml: ASCII text data/coq-doc-8.6/kernel/evar.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/subtyping.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/nativecode.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/opaqueproof.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/environ.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/type_errors.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/cemitcodes.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/type_errors.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/nativelib.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/names.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/vm.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/pre_env.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/opaqueproof.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/declarations.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/nativelib.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/environ.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/context.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/cbytecodes.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/pre_env.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/nativevalues.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/univ.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/vm.mli: ASCII text data/coq-doc-8.6/kernel/subtyping.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/term.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/safe_typing.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/inductive.ml: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/nativeinstr.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/constr.mli: Mathematica 3.0 notebook data/coq-doc-8.6/kernel/nativelibrary.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/contradiction.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/leminv.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/term_dnet.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/elimschemes.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/term_dnet.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/tactic_matching.mli: ASCII text data/coq-doc-8.6/tactics/dnet.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/doc.tex: LaTeX document, ASCII text data/coq-doc-8.6/tactics/autorewrite.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/autorewrite.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/eqdecide.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/equality.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/dn.mli: Ruby script, ASCII text data/coq-doc-8.6/tactics/auto.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/tacticals.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/class_tactics.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/tactics.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/leminv.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/tactics.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/eqschemes.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/dnet.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/eqdecide.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/contradiction.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/btermdn.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/elimschemes.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/tacticals.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/class_tactics.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/inv.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/elim.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/equality.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/tactic_matching.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/auto.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/inv.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/tactics.mllib: ASCII text data/coq-doc-8.6/tactics/eauto.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/eauto.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/dn.ml: Ruby script, ASCII text data/coq-doc-8.6/tactics/hints.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/hints.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/hipattern.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/eqschemes.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/hipattern.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/elim.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tactics/btermdn.mli: Mathematica 3.0 notebook data/coq-doc-8.6/intf/pattern.mli: Mathematica 3.0 notebook data/coq-doc-8.6/intf/glob_term.mli: Mathematica 3.0 notebook data/coq-doc-8.6/intf/genredexpr.mli: Mathematica 3.0 notebook data/coq-doc-8.6/intf/locus.mli: Mathematica 3.0 notebook data/coq-doc-8.6/intf/extend.mli: Mathematica 3.0 notebook data/coq-doc-8.6/intf/evar_kinds.mli: Mathematica 3.0 notebook data/coq-doc-8.6/intf/decl_kinds.mli: Mathematica 3.0 notebook data/coq-doc-8.6/intf/notation_term.mli: Mathematica 3.0 notebook data/coq-doc-8.6/intf/tacexpr.mli: Mathematica 3.0 notebook data/coq-doc-8.6/intf/misctypes.mli: Mathematica 3.0 notebook data/coq-doc-8.6/intf/vernacexpr.mli: Mathematica 3.0 notebook data/coq-doc-8.6/intf/constrexpr.mli: Mathematica 3.0 notebook data/coq-doc-8.6/config/coq_config.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/trie.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/remoteCounter.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/spawn.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cArray.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/hMap.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/terminal.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/flags.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/rtree.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cStack.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/predicate.mli: ASCII text data/coq-doc-8.6/lib/predicate.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/doc.tex: LaTeX document, ASCII text data/coq-doc-8.6/lib/bigint.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/feedback.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/control.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/profile.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/hashset.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/system.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/canary.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/canary.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/envars.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/spawn.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/remoteCounter.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/hook.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/hook.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/control.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/util.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/option.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/iStream.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/unicode.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/heap.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/flags.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/dyn.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cMap.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/pp_control.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cSet.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/rtree.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/util.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/richpp.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/future.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/segmenttree.mli: ASCII text data/coq-doc-8.6/lib/minisys.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/hashcons.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/unicodetable.ml: ASCII text data/coq-doc-8.6/lib/exninfo.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/hashcons.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cWarnings.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/store.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/backtrace.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cWarnings.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/explore.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cEphemeron.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/genarg.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/profile.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cErrors.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cSet.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/unicode.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/explore.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/deque.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/future.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cThread.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/deque.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/hashset.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/lib.mllib: ASCII text data/coq-doc-8.6/lib/ppstyle.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cMap.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/heap.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/unionfind.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/iStream.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/pp_control.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/aux_file.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cErrors.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/option.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/system.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cObj.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cString.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cStack.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/backtrace.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/genarg.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cSig.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/feedback.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/trie.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/bigint.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/terminal.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/loc.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/loc.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/int.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/ppstyle.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/clib.mllib: ASCII text data/coq-doc-8.6/lib/cEphemeron.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/unionfind.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/envars.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/stateid.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/int.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cThread.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/monad.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/exninfo.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/monad.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/segmenttree.ml: ASCII text data/coq-doc-8.6/lib/cUnix.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/richpp.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cUnix.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/stateid.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/aux_file.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cObj.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cString.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/store.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/pp.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cArray.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/pp.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cList.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/cList.ml: Mathematica 3.0 notebook data/coq-doc-8.6/lib/xml_datatype.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/dyn.mli: Mathematica 3.0 notebook data/coq-doc-8.6/lib/hMap.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/syntax_def.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/reserve.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/smartlocate.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/topconstr.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/constrextern.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/constrarg.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/doc.tex: LaTeX document, ASCII text data/coq-doc-8.6/interp/implicit_quantifiers.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/implicit_quantifiers.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/ppextend.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/dumpglob.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/smartlocate.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/constrarg.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/notation.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/modintern.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/stdarg.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/coqlib.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/constrintern.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/syntax_def.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/genintern.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/genintern.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/reserve.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/constrextern.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/ppextend.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/constrintern.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/interp.mllib: ASCII text data/coq-doc-8.6/interp/constrexpr_ops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/notation_ops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/notation.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/dumpglob.mli: Mathematica 3.0 notebook data/coq-doc-8.6/interp/topconstr.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/stdarg.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/notation_ops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/constrexpr_ops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/modintern.ml: Mathematica 3.0 notebook data/coq-doc-8.6/interp/coqlib.mli: Mathematica 3.0 notebook data/coq-doc-8.6/Makefile.common: ASCII text data/coq-doc-8.6/Makefile.dev: ASCII text data/coq-doc-8.6/test-suite/misc/deps/B/B.v: ASCII text data/coq-doc-8.6/test-suite/misc/deps/B/A.v: ASCII text data/coq-doc-8.6/test-suite/misc/deps/deps.out: ASCII text data/coq-doc-8.6/test-suite/misc/deps/lib/foo.v: ASCII text data/coq-doc-8.6/test-suite/misc/deps/checksum.v: ASCII text data/coq-doc-8.6/test-suite/misc/deps/A/A.v: ASCII text data/coq-doc-8.6/test-suite/misc/deps/client/bar.v: ASCII text data/coq-doc-8.6/test-suite/misc/deps/client/foo.v: ASCII text data/coq-doc-8.6/test-suite/misc/universes/universes.v: ASCII text data/coq-doc-8.6/test-suite/misc/berardi_test.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/prerequisite/make_local.v: ASCII text data/coq-doc-8.6/test-suite/prerequisite/admit.v: ASCII text data/coq-doc-8.6/test-suite/prerequisite/make_notation.v: ASCII text data/coq-doc-8.6/test-suite/vio/seff.v: ASCII text data/coq-doc-8.6/test-suite/vio/simple.v: ASCII text data/coq-doc-8.6/test-suite/vio/univ_constraints_statements.v: ASCII text data/coq-doc-8.6/test-suite/vio/print.v: ASCII text data/coq-doc-8.6/test-suite/ideal-features/universes.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/ideal-features/implicit_binders.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/ideal-features/Case4.v: ASCII text data/coq-doc-8.6/test-suite/ideal-features/Apply.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/ideal-features/complexity/evars_subst.v: ASCII text data/coq-doc-8.6/test-suite/ideal-features/evars_subst.v: ASCII text data/coq-doc-8.6/test-suite/ideal-features/Case9.v: ASCII text data/coq-doc-8.6/test-suite/ideal-features/eapply_evar.v: ASCII text data/coq-doc-8.6/test-suite/micromega/example.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/micromega/bertot.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/micromega/rexample.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/micromega/zomicron.v: ASCII text data/coq-doc-8.6/test-suite/micromega/heap3_vcgen_25.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/micromega/qexample.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/micromega/square.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/output-modulo-time/ltacprof.out: UTF-8 Unicode text data/coq-doc-8.6/test-suite/output-modulo-time/ltacprof.v: ASCII text data/coq-doc-8.6/test-suite/output-modulo-time/ltacprof_cutoff.v: ASCII text data/coq-doc-8.6/test-suite/output-modulo-time/ltacprof_cutoff.out: UTF-8 Unicode text data/coq-doc-8.6/test-suite/kernel/inds.mv: ASCII text data/coq-doc-8.6/test-suite/check: POSIX shell script, ASCII text executable data/coq-doc-8.6/test-suite/typeclasses/clrewrite.v: ASCII text data/coq-doc-8.6/test-suite/typeclasses/NewSetoid.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/typeclasses/unification_delta.v: ASCII text data/coq-doc-8.6/test-suite/typeclasses/open_constr.v: ASCII text data/coq-doc-8.6/test-suite/typeclasses/backtrack.v: ASCII text data/coq-doc-8.6/test-suite/typeclasses/deftwice.v: ASCII text data/coq-doc-8.6/test-suite/coqchk/univ.v: ASCII text data/coq-doc-8.6/test-suite/coqchk/primproj.v: ASCII text data/coq-doc-8.6/test-suite/modules/plik.v: ASCII text data/coq-doc-8.6/test-suite/modules/pliczek.v: ASCII text data/coq-doc-8.6/test-suite/modules/PO.v: ASCII text data/coq-doc-8.6/test-suite/modules/objects2.v: ASCII text data/coq-doc-8.6/test-suite/modules/obj.v: ASCII text data/coq-doc-8.6/test-suite/modules/nested_mod_types.v: ASCII text data/coq-doc-8.6/test-suite/modules/ind.v: ASCII text data/coq-doc-8.6/test-suite/modules/modul.v: ASCII text data/coq-doc-8.6/test-suite/modules/injection_discriminate_inversion.v: ASCII text data/coq-doc-8.6/test-suite/modules/Tescik.v: ASCII text data/coq-doc-8.6/test-suite/modules/sub_objects.v: ASCII text data/coq-doc-8.6/test-suite/modules/fun_objects.v: ASCII text data/coq-doc-8.6/test-suite/modules/subtyping.v: ASCII text data/coq-doc-8.6/test-suite/modules/resolver.v: ASCII text data/coq-doc-8.6/test-suite/modules/errors.v: ASCII text data/coq-doc-8.6/test-suite/modules/mod_decl.v: ASCII text data/coq-doc-8.6/test-suite/modules/pseudo_circular_with.v: ASCII text data/coq-doc-8.6/test-suite/modules/Przyklad.v: ASCII text data/coq-doc-8.6/test-suite/modules/sig.v: ASCII text data/coq-doc-8.6/test-suite/modules/grammar.v: ASCII text data/coq-doc-8.6/test-suite/modules/Demo.v: ASCII text data/coq-doc-8.6/test-suite/modules/Nat.v: ASCII text data/coq-doc-8.6/test-suite/modules/modeq.v: ASCII text data/coq-doc-8.6/test-suite/modules/objects.v: ASCII text data/coq-doc-8.6/test-suite/_CoqProject: ASCII text data/coq-doc-8.6/test-suite/success/Mod_strengthen.v: ASCII text data/coq-doc-8.6/test-suite/success/setoid_test_function_space.v: ASCII text data/coq-doc-8.6/test-suite/success/NumberScopes.v: ASCII text data/coq-doc-8.6/test-suite/success/bigQ.v: ASCII text, with very long lines data/coq-doc-8.6/test-suite/success/hyps_inclusion.v: ASCII text data/coq-doc-8.6/test-suite/success/ProgramWf.v: ASCII text data/coq-doc-8.6/test-suite/success/bullet.v: ASCII text data/coq-doc-8.6/test-suite/success/PrintSortedUniverses.v: ASCII text data/coq-doc-8.6/test-suite/success/bteauto.v: ASCII text data/coq-doc-8.6/test-suite/success/set.v: ASCII text data/coq-doc-8.6/test-suite/success/Generalization.v: ASCII text data/coq-doc-8.6/test-suite/success/tryif.v: ASCII text data/coq-doc-8.6/test-suite/success/pattern.v: ASCII text data/coq-doc-8.6/test-suite/success/simpl.v: ASCII text data/coq-doc-8.6/test-suite/success/evars.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/Case6.v: ASCII text data/coq-doc-8.6/test-suite/success/Case1.v: ASCII text data/coq-doc-8.6/test-suite/success/eqdecide.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/success/Remark.v: ASCII text data/coq-doc-8.6/test-suite/success/CaseAlias.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/success/PCase.v: ASCII text data/coq-doc-8.6/test-suite/success/change.v: ASCII text data/coq-doc-8.6/test-suite/success/Hints.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/OmegaPre.v: ASCII text data/coq-doc-8.6/test-suite/success/Notations.v: ASCII text data/coq-doc-8.6/test-suite/success/Mod_type.v: ASCII text data/coq-doc-8.6/test-suite/success/Case10.v: ASCII text data/coq-doc-8.6/test-suite/success/contradiction.v: ASCII text data/coq-doc-8.6/test-suite/success/Case12.v: ASCII text data/coq-doc-8.6/test-suite/success/indelim.v: ASCII text data/coq-doc-8.6/test-suite/success/ROmega0.v: ASCII text data/coq-doc-8.6/test-suite/success/simpl_tuning.v: ASCII text data/coq-doc-8.6/test-suite/success/rewrite_in.v: ASCII text data/coq-doc-8.6/test-suite/success/Case22.v: ASCII text data/coq-doc-8.6/test-suite/success/Fourier.v: ASCII text data/coq-doc-8.6/test-suite/success/import_lib.v: ASCII text data/coq-doc-8.6/test-suite/success/applyTC.v: ASCII text data/coq-doc-8.6/test-suite/success/extraction.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/success/replace.v: ASCII text data/coq-doc-8.6/test-suite/success/DHyp.v: very short file (no magic) data/coq-doc-8.6/test-suite/success/ltacprof.v: ASCII text data/coq-doc-8.6/test-suite/success/Require.v: ASCII text data/coq-doc-8.6/test-suite/success/destruct.v: ASCII text data/coq-doc-8.6/test-suite/success/unfold.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/success/AdvancedTypeClasses.v: ASCII text data/coq-doc-8.6/test-suite/success/onlyprinting.v: ASCII text data/coq-doc-8.6/test-suite/success/ltac_plus.v: ASCII text data/coq-doc-8.6/test-suite/success/rewrite_strat.v: ASCII text data/coq-doc-8.6/test-suite/success/somatching.v: ASCII text data/coq-doc-8.6/test-suite/success/Try.v: ASCII text data/coq-doc-8.6/test-suite/success/Section.v: ASCII text data/coq-doc-8.6/test-suite/success/Inductive.v: ASCII text data/coq-doc-8.6/test-suite/success/ImplicitTactic.v: ASCII text data/coq-doc-8.6/test-suite/success/Cases-bug1834.v: ASCII text data/coq-doc-8.6/test-suite/success/extraction_impl.v: ASCII text data/coq-doc-8.6/test-suite/success/Injection.v: ASCII text data/coq-doc-8.6/test-suite/success/Case2.v: ASCII text data/coq-doc-8.6/test-suite/success/Compat84.v: ASCII text data/coq-doc-8.6/test-suite/success/searchabout.v: ASCII text data/coq-doc-8.6/test-suite/success/NatRing.v: ASCII text data/coq-doc-8.6/test-suite/success/polymorphism.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/remember.v: ASCII text data/coq-doc-8.6/test-suite/success/LetIn.v: ASCII text data/coq-doc-8.6/test-suite/success/decl_mode2.v: ASCII text data/coq-doc-8.6/test-suite/success/LetPat.v: ASCII text data/coq-doc-8.6/test-suite/success/primitiveproj.v: ASCII text data/coq-doc-8.6/test-suite/success/Case16.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/success/ROmega2.v: ASCII text data/coq-doc-8.6/test-suite/success/unification.v: ASCII text data/coq-doc-8.6/test-suite/success/coindprim.v: ASCII text data/coq-doc-8.6/test-suite/success/Rename.v: ASCII text data/coq-doc-8.6/test-suite/success/fix.v: ASCII text data/coq-doc-8.6/test-suite/success/Case19.v: ASCII text data/coq-doc-8.6/test-suite/success/Case8.v: ASCII text data/coq-doc-8.6/test-suite/success/Tauto.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/success/cc.v: ASCII text data/coq-doc-8.6/test-suite/success/Funind.v: ASCII text data/coq-doc-8.6/test-suite/success/eauto.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/success/TacticNotation2.v: ASCII text data/coq-doc-8.6/test-suite/success/ssrpattern.v: ASCII text data/coq-doc-8.6/test-suite/success/Simplify_eq.v: ASCII text data/coq-doc-8.6/test-suite/success/ltac.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/TacticNotation1.v: ASCII text data/coq-doc-8.6/test-suite/success/inds_type_sec.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/success/autorewrite.v: ASCII text data/coq-doc-8.6/test-suite/success/Fixpoint.v: ASCII text data/coq-doc-8.6/test-suite/success/goal_selector.v: ASCII text data/coq-doc-8.6/test-suite/success/Case13.v: ASCII text data/coq-doc-8.6/test-suite/success/Case15.v: ASCII text data/coq-doc-8.6/test-suite/success/conv_pbs.v: ASCII text data/coq-doc-8.6/test-suite/success/AdvancedCanonicalStructure.v: ASCII text data/coq-doc-8.6/test-suite/success/Check.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/success/eta.v: ASCII text data/coq-doc-8.6/test-suite/success/Scheme.v: ASCII text data/coq-doc-8.6/test-suite/success/univers.v: ASCII text data/coq-doc-8.6/test-suite/success/Cases-bug3758.v: ASCII text data/coq-doc-8.6/test-suite/success/Generalize.v: ASCII text data/coq-doc-8.6/test-suite/success/specialize.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/Mod_ltac.v: ASCII text data/coq-doc-8.6/test-suite/success/CanonicalStructure.v: ASCII text data/coq-doc-8.6/test-suite/success/Reg.v: ASCII text data/coq-doc-8.6/test-suite/success/extraction_dep.v: ASCII text data/coq-doc-8.6/test-suite/success/par_abstract.v: ASCII text data/coq-doc-8.6/test-suite/success/extraction_polyprop.v: ASCII text data/coq-doc-8.6/test-suite/success/proof_using.v: ASCII text data/coq-doc-8.6/test-suite/success/Abstract.v: ASCII text data/coq-doc-8.6/test-suite/success/Projection.v: ASCII text data/coq-doc-8.6/test-suite/success/universes-coercion.v: ASCII text data/coq-doc-8.6/test-suite/success/Case11.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/import_mod.v: ASCII text data/coq-doc-8.6/test-suite/success/Decompose.v: ASCII text data/coq-doc-8.6/test-suite/success/Field.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/success/Omega0.v: ASCII text data/coq-doc-8.6/test-suite/success/Case7.v: ASCII text data/coq-doc-8.6/test-suite/success/Case20.v: ASCII text data/coq-doc-8.6/test-suite/success/vm_univ_poly.v: ASCII text data/coq-doc-8.6/test-suite/success/coqbugs0181.v: ASCII text data/coq-doc-8.6/test-suite/success/sideff.v: ASCII text data/coq-doc-8.6/test-suite/success/Typeclasses.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/rewrite_dep.v: ASCII text data/coq-doc-8.6/test-suite/success/Notations2.v: ASCII text data/coq-doc-8.6/test-suite/success/programequality.v: ASCII text data/coq-doc-8.6/test-suite/success/Cases.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/success/namedunivs.v: ASCII text data/coq-doc-8.6/test-suite/success/paralleltac.v: makefile script, ASCII text data/coq-doc-8.6/test-suite/success/ImplicitArguments.v: ASCII text data/coq-doc-8.6/test-suite/success/vm_univ_poly_match.v: ASCII text data/coq-doc-8.6/test-suite/success/TestRefine.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/success/clear.v: ASCII text data/coq-doc-8.6/test-suite/success/Case21.v: ASCII text data/coq-doc-8.6/test-suite/success/implicit.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/autointros.v: ASCII text data/coq-doc-8.6/test-suite/success/ROmegaPre.v: ASCII text data/coq-doc-8.6/test-suite/success/record_syntax.v: ASCII text data/coq-doc-8.6/test-suite/success/univnames.v: ASCII text data/coq-doc-8.6/test-suite/success/Case17.v: ASCII text data/coq-doc-8.6/test-suite/success/Case5.v: ASCII text data/coq-doc-8.6/test-suite/success/letproj.v: ASCII text data/coq-doc-8.6/test-suite/success/Case18.v: ASCII text data/coq-doc-8.6/test-suite/success/qed_export.v: ASCII text data/coq-doc-8.6/test-suite/success/ROmega.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/CaseInClause.v: ASCII text data/coq-doc-8.6/test-suite/success/dependentind.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/unicode_utf8.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/shrink_abstract.v: ASCII text data/coq-doc-8.6/test-suite/success/setoid_test2.v: ASCII text data/coq-doc-8.6/test-suite/success/Case3.v: ASCII text data/coq-doc-8.6/test-suite/success/Record.v: ASCII text data/coq-doc-8.6/test-suite/success/guard.v: ASCII text data/coq-doc-8.6/test-suite/success/Conjecture.v: ASCII text data/coq-doc-8.6/test-suite/success/if.v: ASCII text data/coq-doc-8.6/test-suite/success/intros.v: ASCII text data/coq-doc-8.6/test-suite/success/setoid_test.v: ASCII text data/coq-doc-8.6/test-suite/success/Omega.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/refine.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/induct.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/success/Print.v: ASCII text data/coq-doc-8.6/test-suite/success/Case14.v: ASCII text data/coq-doc-8.6/test-suite/success/CasesDep.v: ASCII text data/coq-doc-8.6/test-suite/success/mutual_ind.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/success/subst.v: ASCII text data/coq-doc-8.6/test-suite/success/auto.v: ASCII text data/coq-doc-8.6/test-suite/success/Inversion.v: ASCII text data/coq-doc-8.6/test-suite/success/Case9.v: ASCII text data/coq-doc-8.6/test-suite/success/keyedrewrite.v: ASCII text data/coq-doc-8.6/test-suite/success/Import.v: ASCII text data/coq-doc-8.6/test-suite/success/Nsatz.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/univscompute.v: ASCII text data/coq-doc-8.6/test-suite/success/decl_mode.v: ASCII text data/coq-doc-8.6/test-suite/success/Scopes.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/Discriminate.v: ASCII text data/coq-doc-8.6/test-suite/success/rewrite.v: ASCII text data/coq-doc-8.6/test-suite/success/parsing.v: ASCII text data/coq-doc-8.6/test-suite/success/PatternsInBinders.v: ASCII text data/coq-doc-8.6/test-suite/success/MatchFail.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/DiscrR.v: ASCII text data/coq-doc-8.6/test-suite/success/RecTutorial.v: ASCII text data/coq-doc-8.6/test-suite/success/Mod_params.v: ASCII text data/coq-doc-8.6/test-suite/success/setoid_ring_module.v: ASCII text data/coq-doc-8.6/test-suite/success/rewrite_iterated.v: ASCII text data/coq-doc-8.6/test-suite/success/PPFix.v: ASCII text data/coq-doc-8.6/test-suite/success/apply.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/success/setoid_unif.v: ASCII text data/coq-doc-8.6/test-suite/success/telescope_canonical.v: ASCII text data/coq-doc-8.6/test-suite/success/unshelve.v: ASCII text data/coq-doc-8.6/test-suite/success/Omega2.v: ASCII text data/coq-doc-8.6/test-suite/success/coercions.v: ASCII text data/coq-doc-8.6/test-suite/success/shrink_obligations.v: ASCII text data/coq-doc-8.6/test-suite/success/Reordering.v: ASCII text data/coq-doc-8.6/test-suite/success/options.v: ASCII text data/coq-doc-8.6/test-suite/bench/lists_100.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/bench/lists-100.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/failure/evarlemma.v: ASCII text data/coq-doc-8.6/test-suite/failure/cases.v: ASCII text data/coq-doc-8.6/test-suite/failure/clashes.v: ASCII text data/coq-doc-8.6/test-suite/failure/subterm3.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/failure/ltac1.v: ASCII text data/coq-doc-8.6/test-suite/failure/universes-sections2.v: ASCII text data/coq-doc-8.6/test-suite/failure/check.v: ASCII text data/coq-doc-8.6/test-suite/failure/positivity.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/failure/pattern.v: ASCII text data/coq-doc-8.6/test-suite/failure/Case6.v: ASCII text data/coq-doc-8.6/test-suite/failure/Case1.v: ASCII text data/coq-doc-8.6/test-suite/failure/illtype1.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/failure/Notations.v: ASCII text data/coq-doc-8.6/test-suite/failure/Case10.v: ASCII text data/coq-doc-8.6/test-suite/failure/Case12.v: ASCII text data/coq-doc-8.6/test-suite/failure/ImportedCoercion.v: ASCII text data/coq-doc-8.6/test-suite/failure/subtyping2.v: ASCII text data/coq-doc-8.6/test-suite/failure/subterm2.v: ASCII text data/coq-doc-8.6/test-suite/failure/inductive.v: ASCII text data/coq-doc-8.6/test-suite/failure/circular_subtyping.v: ASCII text data/coq-doc-8.6/test-suite/failure/fixpoint2.v: ASCII text data/coq-doc-8.6/test-suite/failure/ClearBody.v: ASCII text data/coq-doc-8.6/test-suite/failure/rewrite_in_hyp2.v: ASCII text data/coq-doc-8.6/test-suite/failure/universes.v: ASCII text data/coq-doc-8.6/test-suite/failure/search.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/failure/Case2.v: ASCII text data/coq-doc-8.6/test-suite/failure/ltac4.v: ASCII text data/coq-doc-8.6/test-suite/failure/redef.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/failure/Case16.v: ASCII text data/coq-doc-8.6/test-suite/failure/ltac2.v: ASCII text data/coq-doc-8.6/test-suite/failure/Case8.v: ASCII text data/coq-doc-8.6/test-suite/failure/Tauto.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/failure/univ_include.v: ASCII text data/coq-doc-8.6/test-suite/failure/Case4.v: ASCII text data/coq-doc-8.6/test-suite/failure/int31.v: ASCII text data/coq-doc-8.6/test-suite/failure/clash_cons.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/failure/proofirrelevance.v: ASCII text data/coq-doc-8.6/test-suite/failure/Case13.v: ASCII text data/coq-doc-8.6/test-suite/failure/Case15.v: ASCII text data/coq-doc-8.6/test-suite/failure/universes-buraliforti-redef.v: ASCII text data/coq-doc-8.6/test-suite/failure/fixpoint3.v: ASCII text data/coq-doc-8.6/test-suite/failure/rewrite_in_hyp.v: ASCII text data/coq-doc-8.6/test-suite/failure/guard-cofix.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/failure/Case11.v: ASCII text data/coq-doc-8.6/test-suite/failure/universes-sections1.v: ASCII text data/coq-doc-8.6/test-suite/failure/Case7.v: ASCII text data/coq-doc-8.6/test-suite/failure/subtyping.v: ASCII text data/coq-doc-8.6/test-suite/failure/universes3.v: ASCII text data/coq-doc-8.6/test-suite/failure/fixpoint1.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/failure/evarclear1.v: ASCII text data/coq-doc-8.6/test-suite/failure/universes-buraliforti.v: ASCII text data/coq-doc-8.6/test-suite/failure/rewrite_in_goal.v: ASCII text data/coq-doc-8.6/test-suite/failure/cofixpoint.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/failure/Case5.v: ASCII text data/coq-doc-8.6/test-suite/failure/Sections.v: ASCII text data/coq-doc-8.6/test-suite/failure/Case3.v: ASCII text data/coq-doc-8.6/test-suite/failure/guard.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/failure/sortelim.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/failure/fixpoint4.v: ASCII text data/coq-doc-8.6/test-suite/failure/coqbugs0266.v: ASCII text data/coq-doc-8.6/test-suite/failure/Case14.v: ASCII text data/coq-doc-8.6/test-suite/failure/Case9.v: ASCII text data/coq-doc-8.6/test-suite/failure/prop-set-proof-irrelevance.v: ASCII text data/coq-doc-8.6/test-suite/failure/autorewritein.v: ASCII text data/coq-doc-8.6/test-suite/failure/Uminus.v: ASCII text data/coq-doc-8.6/test-suite/failure/evar1.v: ASCII text data/coq-doc-8.6/test-suite/failure/evarclear2.v: ASCII text data/coq-doc-8.6/test-suite/failure/subterm.v: ASCII text data/coq-doc-8.6/test-suite/failure/Reordering.v: ASCII text data/coq-doc-8.6/test-suite/ide/undo003.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo008.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo012.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo022.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo010.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo013.fake: ASCII text data/coq-doc-8.6/test-suite/ide/bug4249.fake: ASCII text data/coq-doc-8.6/test-suite/ide/reopen.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo019.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo021.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo017.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo015.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo014.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo002.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo001.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo020.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo018.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo004.fake: ASCII text data/coq-doc-8.6/test-suite/ide/blocking-futures.fake: ASCII text data/coq-doc-8.6/test-suite/ide/univ.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo009.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo011.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo016.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo005.fake: ASCII text data/coq-doc-8.6/test-suite/ide/bug4246.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo006.fake: ASCII text data/coq-doc-8.6/test-suite/ide/undo.v: ASCII text data/coq-doc-8.6/test-suite/Makefile: makefile script, ASCII text data/coq-doc-8.6/test-suite/.csdp.cache: data data/coq-doc-8.6/test-suite/coqdoc/links.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/complexity/evar_instance.v: ASCII text data/coq-doc-8.6/test-suite/complexity/Notations.v: ASCII text data/coq-doc-8.6/test-suite/complexity/pretyping.v: ASCII text data/coq-doc-8.6/test-suite/complexity/unification.v: ASCII text data/coq-doc-8.6/test-suite/complexity/ring2.v: ASCII text data/coq-doc-8.6/test-suite/complexity/setoid_rewrite.v: ASCII text data/coq-doc-8.6/test-suite/complexity/patternmatching.v: ASCII text, with very long lines data/coq-doc-8.6/test-suite/complexity/bug4076.v: ASCII text data/coq-doc-8.6/test-suite/complexity/ring.v: ASCII text data/coq-doc-8.6/test-suite/complexity/guard.v: ASCII text data/coq-doc-8.6/test-suite/complexity/bug4076bis.v: ASCII text data/coq-doc-8.6/test-suite/complexity/f_equal.v: ASCII text data/coq-doc-8.6/test-suite/complexity/lettuple.v: ASCII text data/coq-doc-8.6/test-suite/complexity/injection.v: ASCII text data/coq-doc-8.6/test-suite/interactive/proof_block.v: ASCII text data/coq-doc-8.6/test-suite/interactive/ParalITP_smallproofs.v: ASCII text data/coq-doc-8.6/test-suite/interactive/Evar.v: ASCII text data/coq-doc-8.6/test-suite/interactive/4289.v: ASCII text data/coq-doc-8.6/test-suite/interactive/ParalITP.v: ASCII text data/coq-doc-8.6/test-suite/interactive/Back.v: ASCII text data/coq-doc-8.6/test-suite/output/Binder.out: UTF-8 Unicode text data/coq-doc-8.6/test-suite/output/set.out: ASCII text data/coq-doc-8.6/test-suite/output/InitSyntax.out: ASCII text data/coq-doc-8.6/test-suite/output/Sum.out: ASCII text data/coq-doc-8.6/test-suite/output/Record.out: ASCII text data/coq-doc-8.6/test-suite/output/names.v: ASCII text data/coq-doc-8.6/test-suite/output/TranspModtype.v: ASCII text data/coq-doc-8.6/test-suite/output/Tactics.v: ASCII text data/coq-doc-8.6/test-suite/output/PatternsInBinders.out: UTF-8 Unicode text data/coq-doc-8.6/test-suite/output/Arguments.v: ASCII text data/coq-doc-8.6/test-suite/output/ZSyntax.v: ASCII text data/coq-doc-8.6/test-suite/output/Intuition.out: ASCII text data/coq-doc-8.6/test-suite/output/set.v: ASCII text data/coq-doc-8.6/test-suite/output/ZSyntax.out: ASCII text data/coq-doc-8.6/test-suite/output/Search.v: ASCII text data/coq-doc-8.6/test-suite/output/PrintInfos.out: ASCII text data/coq-doc-8.6/test-suite/output/rewrite-2172.v: ASCII text data/coq-doc-8.6/test-suite/output/SearchRewrite.out: ASCII text data/coq-doc-8.6/test-suite/output/Errors.out: ASCII text data/coq-doc-8.6/test-suite/output/simpl.v: ASCII text data/coq-doc-8.6/test-suite/output/Errors.v: ASCII text data/coq-doc-8.6/test-suite/output/unifconstraints.v: ASCII text data/coq-doc-8.6/test-suite/output/Cases.out: ASCII text data/coq-doc-8.6/test-suite/output/Tactics.out: ASCII text data/coq-doc-8.6/test-suite/output/Notations.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/output/Fixpoint.out: ASCII text data/coq-doc-8.6/test-suite/output/PrintInfos.v: ASCII text data/coq-doc-8.6/test-suite/output/PrintAssumptions.out: ASCII text data/coq-doc-8.6/test-suite/output/onlyprinting.v: ASCII text data/coq-doc-8.6/test-suite/output/Inductive.v: ASCII text data/coq-doc-8.6/test-suite/output/Naming.v: ASCII text data/coq-doc-8.6/test-suite/output/PrintModule.v: ASCII text data/coq-doc-8.6/test-suite/output/Match_subterm.out: ASCII text data/coq-doc-8.6/test-suite/output/Sum.v: ASCII text data/coq-doc-8.6/test-suite/output/RealSyntax.out: ASCII text data/coq-doc-8.6/test-suite/output/Implicit.v: ASCII text data/coq-doc-8.6/test-suite/output/SearchRewrite.v: ASCII text data/coq-doc-8.6/test-suite/output/ltac.out: ASCII text data/coq-doc-8.6/test-suite/output/PrintAssumptions.v: ASCII text data/coq-doc-8.6/test-suite/output/reduction.v: ASCII text data/coq-doc-8.6/test-suite/output/ltac.v: ASCII text data/coq-doc-8.6/test-suite/output/RealSyntax.v: ASCII text data/coq-doc-8.6/test-suite/output/Nametab.out: ASCII text data/coq-doc-8.6/test-suite/output/Fixpoint.v: ASCII text data/coq-doc-8.6/test-suite/output/Intuition.v: ASCII text data/coq-doc-8.6/test-suite/output/names.out: ASCII text data/coq-doc-8.6/test-suite/output/Inductive.out: ASCII text data/coq-doc-8.6/test-suite/output/rewrite-2172.out: ASCII text data/coq-doc-8.6/test-suite/output/Search.out: ASCII text data/coq-doc-8.6/test-suite/output/Arguments_renaming.out: ASCII text data/coq-doc-8.6/test-suite/output/Extraction_matchs_2413.out: ASCII text data/coq-doc-8.6/test-suite/output/Match_subterm.v: ASCII text data/coq-doc-8.6/test-suite/output/Arguments.out: ASCII text data/coq-doc-8.6/test-suite/output/SearchPattern.out: ASCII text data/coq-doc-8.6/test-suite/output/Coercions.v: ASCII text data/coq-doc-8.6/test-suite/output/SearchPattern.v: ASCII text data/coq-doc-8.6/test-suite/output/ArgumentsScope.v: ASCII text data/coq-doc-8.6/test-suite/output/qualification.v: ASCII text data/coq-doc-8.6/test-suite/output/Extraction_matchs_2413.v: ASCII text data/coq-doc-8.6/test-suite/output/Notations2.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/output/Cases.v: ASCII text data/coq-doc-8.6/test-suite/output/NumbersSyntax.out: ASCII text data/coq-doc-8.6/test-suite/output/PrintModule.out: ASCII text data/coq-doc-8.6/test-suite/output/Coercions.out: ASCII text data/coq-doc-8.6/test-suite/output/qualification.out: ASCII text data/coq-doc-8.6/test-suite/output/Quote.out: ASCII text data/coq-doc-8.6/test-suite/output/simpl.out: ASCII text data/coq-doc-8.6/test-suite/output/inference.out: ASCII text data/coq-doc-8.6/test-suite/output/Notations2.out: UTF-8 Unicode text data/coq-doc-8.6/test-suite/output/SearchHead.out: ASCII text data/coq-doc-8.6/test-suite/output/Quote.v: ASCII text data/coq-doc-8.6/test-suite/output/Notations3.out: ASCII text data/coq-doc-8.6/test-suite/output/Existentials.out: ASCII text data/coq-doc-8.6/test-suite/output/Record.v: ASCII text data/coq-doc-8.6/test-suite/output/Nametab.v: ASCII text data/coq-doc-8.6/test-suite/output/Existentials.v: ASCII text data/coq-doc-8.6/test-suite/output/Notations.out: ASCII text data/coq-doc-8.6/test-suite/output/Arguments_renaming.v: ASCII text data/coq-doc-8.6/test-suite/output/Notations3.v: Mathematica 3.0 notebook data/coq-doc-8.6/test-suite/output/subst.v: ASCII text data/coq-doc-8.6/test-suite/output/unifconstraints.out: ASCII text data/coq-doc-8.6/test-suite/output/NumbersSyntax.v: ASCII text data/coq-doc-8.6/test-suite/output/Naming.out: ASCII text data/coq-doc-8.6/test-suite/output/TranspModtype.out: ASCII text data/coq-doc-8.6/test-suite/output/reduction.out: ASCII text data/coq-doc-8.6/test-suite/output/SearchHead.v: ASCII text data/coq-doc-8.6/test-suite/output/InitSyntax.v: ASCII text data/coq-doc-8.6/test-suite/output/onlyprinting.out: ASCII text data/coq-doc-8.6/test-suite/output/ArgumentsScope.out: ASCII text data/coq-doc-8.6/test-suite/output/PatternsInBinders.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/output/inference.v: ASCII text data/coq-doc-8.6/test-suite/output/subst.out: ASCII text data/coq-doc-8.6/test-suite/output/Binder.v: ASCII text data/coq-doc-8.6/test-suite/output/Implicit.out: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3312.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/4781.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/HoTT_coq_106.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3295.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/opened/3283.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3345.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3277.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3948.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3928.v-disabled: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3311.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/1811.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/1338.v-disabled: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3209.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/opened/743.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3343.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/4813.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3230.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3166.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/2814.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3092.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3889.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/4717.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/4721.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3100.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3919.v-disabled: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3916.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3459.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3946.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3926.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3320.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/4755.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3370.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3478.v-disabled: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3395.v: ASCII text, with very long lines data/coq-doc-8.6/test-suite/bugs/opened/3248.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3357.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3655.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3922.v-disabled: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3186.v-disabled: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/4803.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3890.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/2652a.v-disabled: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3463.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3304.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/2456.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3754.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3794.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3363.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3278.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/4778.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3626.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3263.v: ASCII text, with very long lines data/coq-doc-8.6/test-suite/bugs/opened/2652b.v-disabled: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/4701.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/1596.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/4728.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3938.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/2572.v-disabled: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/3010.v-disabled: ASCII text, with no line terminators data/coq-doc-8.6/test-suite/bugs/opened/1501.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/1671.v: ASCII text data/coq-doc-8.6/test-suite/bugs/opened/4771.v: ASCII text data/coq-doc-8.6/test-suite/bugs/2428.v: ASCII text data/coq-doc-8.6/test-suite/bugs/4623.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2839.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_079.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3782.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3481.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2295.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2145.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3699.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5180.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/3953.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4785_compat_85.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2990.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3783.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3640.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3251.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2828.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3259.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_114.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1891.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_102.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3513.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2670.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3623.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1962.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/3670.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_043.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2981.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_122.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3654.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5043.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3660.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4363.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3262.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_074.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3282.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3003.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4301.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4293.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3667.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3710.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4684.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4780.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_057.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3537.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3736.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2590.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_016.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4450.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3998.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3539.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4725.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3786.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3045.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_108.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4078.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4001.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1915.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3948.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3896.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5149.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3584.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_067.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1900.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3347.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3668.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2083.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1931.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2955.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1977.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2393.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/PLACEHOLDER.v: empty data/coq-doc-8.6/test-suite/bugs/closed/2089.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3338.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4046.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4723.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3596.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3368.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_101.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2613.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4785.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1703.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3346.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2996.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2837.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4190.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3477.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5123.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_113.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3294.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4214.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3755.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3392.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3287.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5198.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4877.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2900.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3416.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3638.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2883.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1773.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4273.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3686.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3408.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4284.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3920.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2117.v: ASCII text, with CRLF, LF line terminators data/coq-doc-8.6/test-suite/bugs/closed/2734.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3300.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3510.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4538.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3387.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2846.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4627.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3323.v: ASCII text, with very long lines data/coq-doc-8.6/test-suite/bugs/closed/3808.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/bug_4836.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1918.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1302.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1446.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3469.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3563.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_029.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1477.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2733.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3618.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4576.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2850.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3402.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1604.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3821.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3441.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2667.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4467.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3944.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3209.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_034.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5097.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4904.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3628.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_055.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_105.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3317.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3314.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4533.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4462.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_080.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4187.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/2149.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2388.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3043.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4519.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_063.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2164.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3561.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1738.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4762.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2629.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1483.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2362.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_001.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3331.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1576.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4283.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1850.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4603.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2307.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2127.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4813.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4480.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3393.v: ASCII text, with very long lines data/coq-doc-8.6/test-suite/bugs/closed/3625.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3355.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3446.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/3373.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3788.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1912.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5066.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_012.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_028.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1568.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3641.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2406.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/2467.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4616.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3281.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4101.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4366.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/335.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3974.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/808_2411.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2930.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3490.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1100.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_077.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4713.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3350.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3656.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4733.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3372.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3491.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3298.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4375.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_036.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4205.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3923.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4149.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3566.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5188.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2251.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4276.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_058.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_048.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1711.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1951.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_094.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4503.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2615.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1704.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_090.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4588.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_117.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1944.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2320.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_045.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2193.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4811.v: ASCII text, with very long lines data/coq-doc-8.6/test-suite/bugs/closed/4727.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4165.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3037.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4016.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3249.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1582.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3054.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3439.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3205.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2983.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1519.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4018.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3612.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4544.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4354.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2027.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4769.v: ASCII text, with very long lines data/coq-doc-8.6/test-suite/bugs/closed/2137.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5181.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3681.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3297.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/3900.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2945.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3653.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4400.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_118.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3700.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/545.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/846.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1680.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5145.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3922.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1754.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_032.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2231.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/121.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_042.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2732.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3265.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3828.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1963.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3546.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3895.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_023.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_044.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3531.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3916.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3703.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4433.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4718.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_085.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_084.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2350.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4420.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4097.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4932.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3337.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_115.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3825.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4582.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_068.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4012.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3329.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4390.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5036.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4708.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3310.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3210.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4663.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4095.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4498.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/1507.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2095.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1907.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4484.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1779.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_104.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3424.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1419.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3291.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2255.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3286.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3017.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2616.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_120.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3088.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3217.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4880.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2994.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4471.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3593.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_111.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3692.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4089.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4316.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1718.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4656.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2375.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2800.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3562.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2108.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3374.v: ASCII text, with very long lines data/coq-doc-8.6/test-suite/bugs/closed/4378.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4031.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3461.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_014.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1414.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3487.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3000.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4412.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_047.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_049.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3792.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_098.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4232.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3260.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3417.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4782.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3325.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3164.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_013.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3960.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3509.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/bug_4836/PLACEHOLDER: empty data/coq-doc-8.6/test-suite/bugs/closed/3142.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3911.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3848.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3427.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4298.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3886.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3957.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2304.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4035.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2281.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3798.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4653.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5127.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2016.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5011.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/329.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/3330.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3633.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3050.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2001.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3483.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_062.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4318.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3616.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3319.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2969.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2123.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3649.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3505.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4634.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4873.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4294.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2946.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3068.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3542.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_054.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4394.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4116.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2608.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4453.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4256.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3080.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/5077.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2299.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_061.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3666.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2775.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4280.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4292.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_093.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2006.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3267.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5161.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/2876.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4299.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4574.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1981.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1740.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2586.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2602.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3892.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4397.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2854.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3899.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2834.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2836.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_112.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_116.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3257.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4464.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3266.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_087.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2995.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1775.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3010b.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1643.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_121.v: ASCII text, with very long lines data/coq-doc-8.6/test-suite/bugs/closed/2464.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_025.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1416.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3228.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3285.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3324.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5045.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4328.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3482.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3428.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4161.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3648.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4198.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3377.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2920.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_083.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/328.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4191.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4710.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4511.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2360.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3454.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4193.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3723.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3036.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1411.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2310.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3388.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3326.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3375.v: ASCII text, with very long lines data/coq-doc-8.6/test-suite/bugs/closed/2473.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1791.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2603.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/38.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2139.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3453.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5208.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2640.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4673.v: ASCII text, with very long lines data/coq-doc-8.6/test-suite/bugs/closed/3258.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3647.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_053.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4816.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1618.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3662.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5095.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3746.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4479.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3352.v: ASCII text, with very long lines data/coq-doc-8.6/test-suite/bugs/closed/2447.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_027.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3422.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3306.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3188.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2928.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4745.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3485.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3004.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1774.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1780.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4695.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2378.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1696.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_041.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4869.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4628.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3779.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5093.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_103.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3657.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4495.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4644.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2250.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1925.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4970.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1901.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_099.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2105.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4787.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3001.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3386.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_089.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4763.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3344.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2141.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4764.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4527.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/331.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3520.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3881.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2135.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2303.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4057.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_030.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3956.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5078.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4746.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2923.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4580.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2021.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1614.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1448.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4737.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1898.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1865.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3336.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3321.v: ASCII text, with very long lines data/coq-doc-8.6/test-suite/bugs/closed/2342.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3071.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3567.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4679.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1905.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1425.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_100.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4966.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4726.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3665.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4443.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4017.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2347.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3467.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/931.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3354.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3284.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2668.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3819.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3495.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3315.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3854.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_078.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4069.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4347.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2680.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2810.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2017.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2713.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3685.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3690.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2584.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4772.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3322.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3777.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1776.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4661.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_110.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_081.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3199.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2729.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4404.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4596.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4240.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3684.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3675.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4429.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/3807.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_002.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3480.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2353.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2181.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3637.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_035.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4221.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4034.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3242.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5065.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4287.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3624.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2300.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1939.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2319.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3382.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4121.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3698.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3016.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_123.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4863.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3594.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4120.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1243.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/348.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4798.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1834.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3390.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4305.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4416.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2848.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4955.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1844.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_020.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4234.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_056.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/3070.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_007.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3590.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1935.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_050.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3348.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3753.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2404.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2262.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3559.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3305.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3804.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3664.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2951.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4346.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_010.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4529.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/4217.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2830.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_088.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3929.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4858.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_091.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4754.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4882.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3264.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3652.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_006.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2244.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2136.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_097.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2750.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5096.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2243.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2817.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3560.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1322.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3289.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3815.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/3743.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4254.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4893.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4325.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3732.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3938.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3672.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/5203.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3658.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3062.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_064.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4622.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3093.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4818.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1787.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3383.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4670.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2966.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4251.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4722.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_071.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3484.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_059.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3682.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3022.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4216.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4456.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_082.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1784.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3975.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3661.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_107.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3849.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3993.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3554.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3735.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4151.v: UTF-8 Unicode text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_037.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1683.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_124.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4865.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2818.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4203.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3212.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3978.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4272.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3008.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3709.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3332.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/HoTT_coq_052.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4372.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/4103.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/3023.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/2230.v: ASCII text data/coq-doc-8.6/test-suite/bugs/closed/1634.v: ASCII text data/coq-doc-8.6/test-suite/bugs/4624.v: ASCII text data/coq-doc-8.6/test-suite/stm/Nijmegen_QArithSternBrocot_Zaux.v: ASCII text data/coq-doc-8.6/README.doc: ASCII text data/coq-doc-8.6/toplevel/discharge.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/search.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/himsg.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/mltop.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/obligations.ml: ASCII text data/coq-doc-8.6/toplevel/class.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/ind_tables.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/vernacinterp.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/mltop.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/vernac.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/coqinit.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/doc.tex: LaTeX document, ASCII text data/coq-doc-8.6/toplevel/indschemes.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/classes.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/metasyntax.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/usage.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/coqtop.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/ind_tables.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/auto_ind_decl.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/vernac.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/auto_ind_decl.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/indschemes.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/coqloop.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/assumptions.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/explainErr.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/class.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/vernacinterp.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/coqloop.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/classes.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/coqtop.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/toplevel.mllib: ASCII text data/coq-doc-8.6/toplevel/metasyntax.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/obligations.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/vernacentries.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/assumptions.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/search.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/discharge.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/coqinit.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/locality.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/usage.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/locality.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/himsg.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/vernacentries.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/record.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/command.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/explainErr.ml: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/record.mli: Mathematica 3.0 notebook data/coq-doc-8.6/toplevel/command.ml: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/clenvtac.ml: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/refiner.mli: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/proof_global.mli: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/refiner.ml: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/proof.mli: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/doc.tex: LaTeX document, ASCII text data/coq-doc-8.6/proofs/proofs.mllib: ASCII text data/coq-doc-8.6/proofs/refine.ml: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/proof.ml: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/goal.ml: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/clenv.mli: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/proof_using.ml: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/goal.mli: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/redexpr.ml: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/evar_refiner.ml: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/clenvtac.mli: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/proof_global.ml: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/proof_using.mli: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/tacmach.mli: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/evar_refiner.mli: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/pfedit.mli: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/redexpr.mli: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/proof_type.mli: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/pfedit.ml: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/refine.mli: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/clenv.ml: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/logic.mli: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/logic.ml: Mathematica 3.0 notebook data/coq-doc-8.6/proofs/tacmach.ml: Mathematica 3.0 notebook data/coq-doc-8.6/Makefile.doc: ASCII text data/coq-doc-8.6/plugins/quote/g_quote.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/quote/quote_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/quote/Quote.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/quote/quote.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/quote/vo.itarget: ASCII text, with no line terminators data/coq-doc-8.6/plugins/extraction/mlutil.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/haskell.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/json.mli: ASCII text data/coq-doc-8.6/plugins/extraction/extraction.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/common.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/modutil.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ExtrHaskellString.v: ASCII text data/coq-doc-8.6/plugins/extraction/mlutil.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ExtrOcamlString.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ExtrOcamlNatBigInt.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ExtrHaskellNatNum.v: ASCII text data/coq-doc-8.6/plugins/extraction/modutil.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/scheme.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/table.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ExtrOcamlZBigInt.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ocaml.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/miniml.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ExtrHaskellZInt.v: ASCII text data/coq-doc-8.6/plugins/extraction/README: UTF-8 Unicode text data/coq-doc-8.6/plugins/extraction/extract_env.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ExtrOcamlBasic.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ExtrHaskellZInteger.v: ASCII text data/coq-doc-8.6/plugins/extraction/extraction.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ExtrOcamlZInt.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ExtrHaskellZNum.v: ASCII text data/coq-doc-8.6/plugins/extraction/extract_env.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/json.ml: ASCII text data/coq-doc-8.6/plugins/extraction/table.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ExtrOcamlIntConv.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ExtrOcamlBigIntConv.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/CHANGES: ASCII text data/coq-doc-8.6/plugins/extraction/ExtrOcamlNatInt.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/scheme.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/common.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ExtrHaskellNatInt.v: ASCII text data/coq-doc-8.6/plugins/extraction/extraction_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/extraction/ExtrHaskellBasic.v: ASCII text data/coq-doc-8.6/plugins/extraction/g_extraction.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/big.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/vo.itarget: ASCII text data/coq-doc-8.6/plugins/extraction/ocaml.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/haskell.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/extraction/ExtrHaskellNatInteger.v: ASCII text data/coq-doc-8.6/plugins/setoid_ring/newring_ast.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/Ncring_polynom.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/Rings_Z.v: ASCII text data/coq-doc-8.6/plugins/setoid_ring/newring.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/BinList.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/InitialRing.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/ZArithRing.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/Ncring.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/Integral_domain.v: ASCII text data/coq-doc-8.6/plugins/setoid_ring/ArithRing.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/Ring_polynom.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/Field.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/Ring_tac.v: ASCII text data/coq-doc-8.6/plugins/setoid_ring/Algebra_syntax.v: ASCII text data/coq-doc-8.6/plugins/setoid_ring/Ring_theory.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/RealField.v: ASCII text data/coq-doc-8.6/plugins/setoid_ring/Field_theory.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/newring_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/setoid_ring/Field_tac.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/Ring.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/newring.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/Cring.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/Rings_R.v: ASCII text data/coq-doc-8.6/plugins/setoid_ring/Rings_Q.v: ASCII text data/coq-doc-8.6/plugins/setoid_ring/NArithRing.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/Ncring_initial.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/g_newring.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/Ring_base.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/setoid_ring/vo.itarget: ASCII text data/coq-doc-8.6/plugins/setoid_ring/Ncring_tac.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/btauto/g_btauto.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/btauto/btauto_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/btauto/Btauto.v: ASCII text data/coq-doc-8.6/plugins/btauto/Reflect.v: ASCII text data/coq-doc-8.6/plugins/btauto/Algebra.v: UTF-8 Unicode text data/coq-doc-8.6/plugins/btauto/refl_btauto.ml: Ruby script, ASCII text data/coq-doc-8.6/plugins/btauto/vo.itarget: ASCII text data/coq-doc-8.6/plugins/micromega/csdpcert.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/mutils.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/Refl.v: UTF-8 Unicode text data/coq-doc-8.6/plugins/micromega/VarMap.v: UTF-8 Unicode text data/coq-doc-8.6/plugins/micromega/MExtraction.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/ZCoeff.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/Lra.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/QMicromega.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/ZMicromega.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/Tauto.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/micromega.mli: Ruby script, ASCII text data/coq-doc-8.6/plugins/micromega/Lia.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/polynomial.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/RMicromega.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/sos.ml: UTF-8 Unicode text data/coq-doc-8.6/plugins/micromega/mfourier.ml: Ruby script, ASCII text data/coq-doc-8.6/plugins/micromega/OrderedRing.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/sos.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/Env.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/Lqa.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/sos_lib.ml: UTF-8 Unicode text data/coq-doc-8.6/plugins/micromega/sos_types.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/persistent_cache.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/Psatz.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/RingMicromega.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/LICENSE.sos: ASCII text data/coq-doc-8.6/plugins/micromega/EnvRing.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/g_micromega.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/coq_micromega.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/micromega/micromega_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/micromega/vo.itarget: ASCII text data/coq-doc-8.6/plugins/micromega/micromega.ml: Ruby script, ASCII text data/coq-doc-8.6/plugins/micromega/certificate.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/romega/const_omega.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/romega/ReflOmegaCore.v: UTF-8 Unicode text data/coq-doc-8.6/plugins/romega/refl_omega.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/romega/README: ASCII text data/coq-doc-8.6/plugins/romega/g_romega.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/romega/romega_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/romega/ROmega.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/romega/vo.itarget: ASCII text data/coq-doc-8.6/plugins/romega/const_omega.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/nsatz/polynom.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/nsatz/nsatz_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/nsatz/polynom.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/nsatz/g_nsatz.ml4: ASCII text data/coq-doc-8.6/plugins/nsatz/utile.ml: UTF-8 Unicode text data/coq-doc-8.6/plugins/nsatz/nsatz.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/nsatz/nsatz.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/nsatz/ideal.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/nsatz/ideal.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/nsatz/utile.mli: ASCII text data/coq-doc-8.6/plugins/nsatz/Nsatz.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/nsatz/vo.itarget: ASCII text data/coq-doc-8.6/plugins/xml/README: ASCII text data/coq-doc-8.6/plugins/firstorder/ground.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/firstorder/g_ground.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/firstorder/ground.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/firstorder/unify.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/firstorder/unify.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/firstorder/instances.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/firstorder/rules.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/firstorder/ground_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/firstorder/formula.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/firstorder/sequent.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/firstorder/instances.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/firstorder/rules.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/firstorder/formula.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/firstorder/sequent.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/funind/merge.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/funind/indfun.mli: ASCII text data/coq-doc-8.6/plugins/funind/functional_principles_proofs.ml: data data/coq-doc-8.6/plugins/funind/glob_termops.ml: ASCII text data/coq-doc-8.6/plugins/funind/functional_principles_types.ml: ASCII text data/coq-doc-8.6/plugins/funind/functional_principles_proofs.mli: ASCII text data/coq-doc-8.6/plugins/funind/recdef.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/funind/recdef.mli: ASCII text data/coq-doc-8.6/plugins/funind/indfun_common.mli: ASCII text data/coq-doc-8.6/plugins/funind/g_indfun.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/funind/functional_principles_types.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/funind/recdef_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/funind/glob_termops.mli: ASCII text data/coq-doc-8.6/plugins/funind/indfun.ml: ASCII text data/coq-doc-8.6/plugins/funind/glob_term_to_relation.mli: ASCII text data/coq-doc-8.6/plugins/funind/glob_term_to_relation.ml: ASCII text data/coq-doc-8.6/plugins/funind/indfun_common.ml: ASCII text data/coq-doc-8.6/plugins/funind/Recdef.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/funind/invfun.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/funind/vo.itarget: ASCII text data/coq-doc-8.6/plugins/fourier/fourier.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/fourier/Fourier.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/fourier/fourier_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/fourier/Fourier_util.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/fourier/fourierR.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/fourier/g_fourier.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/fourier/vo.itarget: ASCII text data/coq-doc-8.6/plugins/cc/g_congruence.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/cc/ccproof.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/cc/cctac.mli: ASCII text data/coq-doc-8.6/plugins/cc/ccalgo.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/cc/ccalgo.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/cc/README: UTF-8 Unicode text data/coq-doc-8.6/plugins/cc/cctac.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/cc/ccproof.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/cc/cc_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/rtauto/Rtauto.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/rtauto/refl_tauto.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/rtauto/rtauto_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/rtauto/Bintree.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/rtauto/proof_search.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/rtauto/g_rtauto.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/rtauto/proof_search.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/rtauto/refl_tauto.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/rtauto/vo.itarget: ASCII text data/coq-doc-8.6/plugins/syntax/numbers_syntax_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/syntax/nat_syntax.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/syntax/r_syntax_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/syntax/z_syntax.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/syntax/string_syntax_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/syntax/ascii_syntax.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/syntax/numbers_syntax.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/syntax/ascii_syntax_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/syntax/z_syntax_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/syntax/string_syntax.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/syntax/r_syntax.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/syntax/nat_syntax_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/omega/omega_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/omega/omega.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/omega/OmegaLemmas.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/omega/coq_omega.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/omega/OmegaPlugin.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/omega/OmegaTactic.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/omega/g_omega.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/omega/PreOmega.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/omega/Omega.v: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/omega/vo.itarget: ASCII text data/coq-doc-8.6/plugins/ssrmatching/ssrmatching.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/ssrmatching/ssrmatching.mli: ASCII text data/coq-doc-8.6/plugins/ssrmatching/ssrmatching_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/ssrmatching/ssrmatching.v: ASCII text data/coq-doc-8.6/plugins/ssrmatching/vo.itarget: ASCII text data/coq-doc-8.6/plugins/derive/derive.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/derive/g_derive.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/derive/derive.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/derive/vo.itarget: ASCII text, with no line terminators data/coq-doc-8.6/plugins/derive/Derive.v: ASCII text, with no line terminators data/coq-doc-8.6/plugins/derive/derive_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/decl_mode/ppdecl_proof.mli: ASCII text data/coq-doc-8.6/plugins/decl_mode/ppdecl_proof.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/decl_mode/decl_expr.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/decl_mode/decl_interp.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/decl_mode/g_decl_mode.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/decl_mode/decl_interp.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/decl_mode/decl_proof_instr.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/decl_mode/decl_mode_plugin.mlpack: ASCII text data/coq-doc-8.6/plugins/decl_mode/decl_mode.mli: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/decl_mode/decl_mode.ml: Mathematica 3.0 notebook data/coq-doc-8.6/plugins/decl_mode/decl_proof_instr.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/check-translate: POSIX shell script, ASCII text executable data/coq-doc-8.6/tools/gallina.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqmktop.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdep_boot.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/mkwinapp.ml: ASCII text data/coq-doc-8.6/tools/gallina_lexer.mll: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdep_common.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdep.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/gallina-syntax.el: Lisp/Scheme program, ASCII text data/coq-doc-8.6/tools/coq-font-lock.el: Lisp/Scheme program, ASCII text data/coq-doc-8.6/tools/coq-sl.sty: ASCII text data/coq-doc-8.6/tools/README.emacs: Lisp/Scheme program, ASCII text data/coq-doc-8.6/tools/coqdep_lexer.mll: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdep_lexer.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tools/gallina.el: Lisp/Scheme program, ASCII text data/coq-doc-8.6/tools/coqdep_common.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqc.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/fake_ide.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coq-inferior.el: Lisp/Scheme program, ASCII text data/coq-doc-8.6/tools/gallina-db.el: Lisp/Scheme program, ASCII text data/coq-doc-8.6/tools/coqdoc/cpretty.mll: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdoc/coqdoc.sty: LaTeX document, UTF-8 Unicode text data/coq-doc-8.6/tools/coqdoc/index.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdoc/main.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdoc/cdglobals.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdoc/output.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdoc/cpretty.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdoc/style.css: ASCII text data/coq-doc-8.6/tools/coqdoc/alpha.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdoc/coqdoc.css: ASCII text data/coq-doc-8.6/tools/coqdoc/tokens.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdoc/index.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdoc/output.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdoc/tokens.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqdoc/alpha.mli: Mathematica 3.0 notebook data/coq-doc-8.6/tools/ocamllibdep.mll: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coq_tex.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqworkmgr.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coqwc.mll: Mathematica 3.0 notebook data/coq-doc-8.6/tools/coq_makefile.ml: Mathematica 3.0 notebook data/coq-doc-8.6/tools/update-require: POSIX shell script, ASCII text executable data/coq-doc-8.6/tools/beautify-archive: POSIX shell script, ASCII text executable data/coq-doc-8.6/Makefile.build: ASCII text data/coq-doc-8.6/.gitattributes: ASCII text data/coq-doc-8.6/ltac/tactic_option.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/g_class.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/tacenv.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/tacinterp.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/evar_tactics.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/tauto.mli: empty data/coq-doc-8.6/ltac/tacentries.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/g_obligations.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/profile_ltac.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/tauto.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/profile_ltac_tactics.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/tacintern.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/taccoerce.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/g_auto.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/extratactics.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/g_eqdecide.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/coretactics.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/taccoerce.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/profile_ltac.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/tacinterp.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/extratactics.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/ltac.mllib: ASCII text data/coq-doc-8.6/ltac/tactic_debug.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/extraargs.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/tacintern.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/rewrite.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/tactic_option.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/extraargs.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/rewrite.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/evar_tactics.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/tacsubst.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/tacentries.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/tacenv.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/tacsubst.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/g_ltac.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/g_rewrite.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/ltac/tactic_debug.mli: Mathematica 3.0 notebook data/coq-doc-8.6/COPYRIGHT: UTF-8 Unicode text data/coq-doc-8.6/Makefile.install: ASCII text data/coq-doc-8.6/library/nametab.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/keys.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/global.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/declare.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/dischargedhypsmap.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/lib.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/nametab.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/globnames.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/universes.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/doc.tex: LaTeX document, ASCII text data/coq-doc-8.6/library/globnames.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/dischargedhypsmap.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/states.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/library.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/decls.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/loadpath.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/global.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/impargs.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/heads.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/states.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/summary.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/nameops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/declare.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/kindops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/impargs.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/library.mllib: ASCII text data/coq-doc-8.6/library/nameops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/libnames.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/loadpath.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/library.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/keys.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/lib.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/libobject.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/universes.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/declaremods.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/libnames.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/goptions.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/decls.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/libobject.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/summary.ml: Mathematica 3.0 notebook data/coq-doc-8.6/library/declaremods.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/kindops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/goptions.mli: Mathematica 3.0 notebook data/coq-doc-8.6/library/heads.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/wg_Detachable.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/serialize.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/coqOps.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/wg_Find.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/wg_Notebook.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/project_file.ml4: ASCII text data/coq-doc-8.6/ide/document.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/session.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/minilib.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/tags.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/coqide_ui.ml: UTF-8 Unicode text data/coq-doc-8.6/ide/xml_printer.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/wg_ScriptView.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/tags.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/macos_prehook.ml: ASCII text data/coq-doc-8.6/ide/utf8_convert.mll: Mathematica 3.0 notebook data/coq-doc-8.6/ide/coq.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/FAQ: UTF-8 Unicode text data/coq-doc-8.6/ide/xml_parser.ml: ASCII text data/coq-doc-8.6/ide/wg_Segment.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/coqOps.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/wg_Command.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/nanoPG.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/coq_style.xml: XML 1.0 document, ASCII text data/coq-doc-8.6/ide/sentence.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/richprinter.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/wg_ScriptView.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/texmacspp.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/wg_ProofView.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/serialize.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/coq.lang: XML 1.0 document, ASCII text data/coq-doc-8.6/ide/wg_Completion.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/wg_Segment.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/ide.mllib: ASCII text data/coq-doc-8.6/ide/richprinter.ml: ASCII text data/coq-doc-8.6/ide/wg_ProofView.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/ide_slave.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/fileOps.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/coq.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/ideutils.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/minilib.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/xmlprotocol.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/xml_lexer.mli: ASCII text data/coq-doc-8.6/ide/coqide.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/wg_Command.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/fileOps.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/coq_commands.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/wg_MessageView.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/xml_printer.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/wg_Notebook.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/texmacspp.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/coq.ico: MS Windows icon resource - 1 icon, 42x64, 32 bits/pixel data/coq-doc-8.6/ide/coq-ssreflect.lang: XML 1.0 document, ASCII text, with very long lines data/coq-doc-8.6/ide/coq_lex.mll: Mathematica 3.0 notebook data/coq-doc-8.6/ide/Make: ASCII text data/coq-doc-8.6/ide/wg_Find.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/coq_icon.rc: ASCII text data/coq-doc-8.6/ide/utils/configwin.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/utils/configwin_types.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/utils/configwin_messages.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/utils/okey.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/utils/configwin_ihm.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/utils/config_file.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/utils/configwin_keys.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/utils/configwin.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/utils/okey.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/utils/config_file.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/utils/editable_cells.ml: ASCII text data/coq-doc-8.6/ide/wg_Completion.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/ide_win32_stubs.c: C source, ASCII text data/coq-doc-8.6/ide/coqide_main.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/ide/xmlprotocol.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/MacOS/relatify_with-respect-to_.sh: POSIX shell script, ASCII text executable data/coq-doc-8.6/ide/MacOS/default_accel_map: ASCII text data/coq-doc-8.6/ide/MacOS/coqide.icns: Mac OS X icon, 326632 bytes, "TOC " type data/coq-doc-8.6/ide/MacOS/coqfile.icns: Mac OS X icon, 234599 bytes, "TOC " type data/coq-doc-8.6/ide/MacOS/Info.plist.template: XML 1.0 document, ASCII text data/coq-doc-8.6/ide/session.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/coqidetop.mllib: ASCII text data/coq-doc-8.6/ide/sentence.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/coq.png: PNG image data, 256 x 256, 8-bit/color RGBA, non-interlaced data/coq-doc-8.6/ide/document.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/ideutils.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/preferences.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/wg_MessageView.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/xml_parser.mli: ASCII text data/coq-doc-8.6/ide/coq2.ico: MS Windows icon resource - 4 icons, 16x16, 16 colors, 16x16 data/coq-doc-8.6/ide/.merlin: ASCII text data/coq-doc-8.6/ide/gtk_parsing.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/wg_Detachable.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/xml_lexer.mll: exported SGML document, ASCII text data/coq-doc-8.6/ide/preferences.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/coqide.ml: Mathematica 3.0 notebook data/coq-doc-8.6/ide/interface.mli: Mathematica 3.0 notebook data/coq-doc-8.6/ide/config_lexer.mll: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/redops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/vnorm.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/typeclasses_errors.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/arguments_renaming.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/evardefine.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/pretyping.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/evarconv.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/typeclasses.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/patternops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/classops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/constr_matching.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/typing.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/patternops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/recordops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/indrec.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/cbv.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/inductiveops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/reductionops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/classops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/evarsolve.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/redops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/evarconv.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/doc.tex: LaTeX document, ASCII text data/coq-doc-8.6/pretyping/program.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/constr_matching.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/coercion.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/typeclasses.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/vnorm.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/unification.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/evarsolve.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/coercion.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/tacred.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/unification.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/miscops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/typing.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/glob_ops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/indrec.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/miscops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/evardefine.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/pretype_errors.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/find_subterm.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/cbv.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/typeclasses_errors.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/find_subterm.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/detyping.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/pretype_errors.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/nativenorm.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/arguments_renaming.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/glob_ops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/pretyping.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/recordops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/retyping.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/nativenorm.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/reductionops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/locusops.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/pretyping.mllib: ASCII text data/coq-doc-8.6/pretyping/retyping.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/inductiveops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/cases.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/detyping.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/tacred.mli: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/program.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/cases.ml: Mathematica 3.0 notebook data/coq-doc-8.6/pretyping/locusops.mli: Mathematica 3.0 notebook data/coq-doc-8.6/configure: POSIX shell script, ASCII text executable data/coq-doc-8.6/Makefile.ide: ASCII text data/coq-doc-8.6/Makefile: ASCII text data/coq-doc-8.6/CREDITS: UTF-8 Unicode text data/coq-doc-8.6/man/gallina.1: troff or preprocessor input, ASCII text data/coq-doc-8.6/man/coqmktop.1: troff or preprocessor input, ASCII text data/coq-doc-8.6/man/coq-parser.1: troff or preprocessor input, ASCII text data/coq-doc-8.6/man/coqc.1: troff or preprocessor input, ASCII text data/coq-doc-8.6/man/coqdoc.1: LaTeX document, ASCII text data/coq-doc-8.6/man/coqide.1: troff or preprocessor input, ASCII text data/coq-doc-8.6/man/coq_makefile.1: troff or preprocessor input, ASCII text data/coq-doc-8.6/man/coqwc.1: troff or preprocessor input, ASCII text data/coq-doc-8.6/man/coq-interface.1: troff or preprocessor input, ASCII text data/coq-doc-8.6/man/coqtop.1: troff or preprocessor input, ASCII text data/coq-doc-8.6/man/coqchk.1: troff or preprocessor input, ASCII text data/coq-doc-8.6/man/coqtop.opt.1: troff or preprocessor input, ASCII text data/coq-doc-8.6/man/coqdep.1: troff or preprocessor input, ASCII text data/coq-doc-8.6/man/coq-tex.1: LaTeX document, ASCII text data/coq-doc-8.6/man/coqtop.byte.1: troff or preprocessor input, ASCII text data/coq-doc-8.6/.mailmap: UTF-8 Unicode text data/coq-doc-8.6/INSTALL.doc: ASCII text data/coq-doc-8.6/COMPATIBILITY: ASCII text data/coq-doc-8.6/Makefile.checker: ASCII text data/coq-doc-8.6/README.md: ASCII text data/coq-doc-8.6/LICENSE: ASCII text data/coq-doc-8.6/META.coq: ASCII text data/coq-doc-8.6/CHANGES: UTF-8 Unicode text data/coq-doc-8.6/.merlin: ASCII text data/coq-doc-8.6/stm/workerPool.mli: Mathematica 3.0 notebook data/coq-doc-8.6/stm/proofworkertop.mllib: ASCII text data/coq-doc-8.6/stm/lemmas.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/dag.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/asyncTaskQueue.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/asyncTaskQueue.mli: Mathematica 3.0 notebook data/coq-doc-8.6/stm/lemmas.mli: Mathematica 3.0 notebook data/coq-doc-8.6/stm/queryworkertop.mllib: ASCII text data/coq-doc-8.6/stm/vernac_classifier.mli: Mathematica 3.0 notebook data/coq-doc-8.6/stm/vcs.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/vernac_classifier.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/spawned.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/coqworkmgrApi.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/tacworkertop.mllib: ASCII text data/coq-doc-8.6/stm/vio_checking.mli: Mathematica 3.0 notebook data/coq-doc-8.6/stm/vio_checking.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/proofBlockDelimiter.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/stm.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/proofworkertop.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/spawned.mli: Mathematica 3.0 notebook data/coq-doc-8.6/stm/workerPool.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/tQueue.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/stm.mllib: ASCII text data/coq-doc-8.6/stm/dag.mli: Mathematica 3.0 notebook data/coq-doc-8.6/stm/queryworkertop.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/proofBlockDelimiter.mli: Mathematica 3.0 notebook data/coq-doc-8.6/stm/stm.mli: Mathematica 3.0 notebook data/coq-doc-8.6/stm/tQueue.mli: Mathematica 3.0 notebook data/coq-doc-8.6/stm/vcs.mli: Mathematica 3.0 notebook data/coq-doc-8.6/stm/tacworkertop.ml: Mathematica 3.0 notebook data/coq-doc-8.6/stm/coqworkmgrApi.mli: Mathematica 3.0 notebook data/coq-doc-8.6/doc/rt/RefMan-cover.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/rt/Tutorial-cover.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/stdlib/make-library-index: POSIX shell script, ASCII text executable, with very long lines data/coq-doc-8.6/doc/stdlib/Library.tex: LaTeX 2e document, ASCII text data/coq-doc-8.6/doc/stdlib/index-list.html.template: ASCII text data/coq-doc-8.6/doc/stdlib/hidden-files: very short file (no magic) data/coq-doc-8.6/doc/RecTutorial/recmacros.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/RecTutorial/manbiblio.bib: UTF-8 Unicode text data/coq-doc-8.6/doc/RecTutorial/morebib.bib: BibTeX text file, UTF-8 Unicode text data/coq-doc-8.6/doc/RecTutorial/RecTutorial.tex: LaTeX 2e document, UTF-8 Unicode text data/coq-doc-8.6/doc/RecTutorial/coqartmacros.tex: UTF-8 Unicode text data/coq-doc-8.6/doc/RecTutorial/RecTutorial.v: ASCII text data/coq-doc-8.6/doc/tutorial/Tutorial.tex: LaTeX 2e document, UTF-8 Unicode text data/coq-doc-8.6/doc/faq/fk.bib: UTF-8 Unicode text data/coq-doc-8.6/doc/faq/FAQ.tex: LaTeX 2e document, UTF-8 Unicode text data/coq-doc-8.6/doc/faq/axioms.fig: FIG image text, version 3.2, ASCII text data/coq-doc-8.6/doc/faq/hevea.sty: LaTeX document, ASCII text data/coq-doc-8.6/doc/faq/interval_discr.v: ASCII text data/coq-doc-8.6/doc/tools/latex_filter: POSIX shell script, ASCII text executable data/coq-doc-8.6/doc/tools/Translator.tex: LaTeX 2e document, ASCII text data/coq-doc-8.6/doc/tools/show_latex_messages: POSIX shell script, ASCII text executable data/coq-doc-8.6/doc/whodidwhat/whodidwhat-8.2update.tex: LaTeX 2e document, UTF-8 Unicode text data/coq-doc-8.6/doc/whodidwhat/whodidwhat-8.3update.tex: LaTeX 2e document, UTF-8 Unicode text data/coq-doc-8.6/doc/whodidwhat/whodidwhat-8.5update.tex: LaTeX 2e document, UTF-8 Unicode text data/coq-doc-8.6/doc/whodidwhat/whodidwhat-8.4update.tex: LaTeX 2e document, UTF-8 Unicode text data/coq-doc-8.6/doc/common/macros.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/common/title.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/common/styles/html/coqremote/footer.html: HTML document, ASCII text data/coq-doc-8.6/doc/common/styles/html/coqremote/styles.hva: LaTeX document, ASCII text data/coq-doc-8.6/doc/common/styles/html/coqremote/cover.html: HTML document, UTF-8 Unicode text, with very long lines data/coq-doc-8.6/doc/common/styles/html/coqremote/header.html: HTML document, ASCII text data/coq-doc-8.6/doc/common/styles/html/coqremote/hevea.css: assembler source, ASCII text data/coq-doc-8.6/doc/common/styles/html/simple/footer.html: ASCII text data/coq-doc-8.6/doc/common/styles/html/simple/styles.hva: LaTeX document, ASCII text data/coq-doc-8.6/doc/common/styles/html/simple/cover.html: HTML document, UTF-8 Unicode text, with very long lines data/coq-doc-8.6/doc/common/styles/html/simple/style.css: ASCII text data/coq-doc-8.6/doc/common/styles/html/simple/header.html: HTML document, ASCII text data/coq-doc-8.6/doc/common/styles/html/simple/hevea.css: assembler source, ASCII text data/coq-doc-8.6/doc/LICENSE: UTF-8 Unicode text data/coq-doc-8.6/doc/refman/RefMan-tac.tex: LaTeX document, ASCII text, with very long lines data/coq-doc-8.6/doc/refman/RefMan-modr.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/AddRefMan-pre.tex: LaTeX document, UTF-8 Unicode text data/coq-doc-8.6/doc/refman/RefMan-gal.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-decl.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/Universes.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/Omega.tex: LaTeX document, UTF-8 Unicode text data/coq-doc-8.6/doc/refman/RefMan-pre.tex: LaTeX document, UTF-8 Unicode text data/coq-doc-8.6/doc/refman/headers.hva: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/coqdoc.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/coqide-queries.png: PNG image data, 852 x 515, 8-bit/color RGBA, non-interlaced data/coq-doc-8.6/doc/refman/index.html: HTML document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-int.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/Reference-Manual.tex: LaTeX 2e document, ASCII text data/coq-doc-8.6/doc/refman/Polynom.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-ext.tex: LaTeX document, UTF-8 Unicode text data/coq-doc-8.6/doc/refman/Extraction.tex: LaTeX document, UTF-8 Unicode text data/coq-doc-8.6/doc/refman/CanonicalStructures.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-syn.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/Micromega.tex: LaTeX document, UTF-8 Unicode text data/coq-doc-8.6/doc/refman/Cases.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-com.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/Misc.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-tus.tex: LaTeX 2e document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-lib.tex: LaTeX document, UTF-8 Unicode text data/coq-doc-8.6/doc/refman/RefMan-oth.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-pro.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/coqide.png: PNG image data, 854 x 535, 8-bit/color RGBA, non-interlaced data/coq-doc-8.6/doc/refman/RefMan-cic.tex: LaTeX document, UTF-8 Unicode text data/coq-doc-8.6/doc/refman/biblio.bib: UTF-8 Unicode text data/coq-doc-8.6/doc/refman/Classes.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/AsyncProofs.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-coi.tex: LaTeX document, UTF-8 Unicode text data/coq-doc-8.6/doc/refman/RefMan-tacex.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-uti.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/menu.html: HTML document, ASCII text data/coq-doc-8.6/doc/refman/headers.sty: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-ide.tex: LaTeX document, ASCII text, with very long lines data/coq-doc-8.6/doc/refman/hevea.sty: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/Coercion.tex: LaTeX document, UTF-8 Unicode text data/coq-doc-8.6/doc/refman/Program.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-ind.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/Nsatz.tex: LaTeX document, UTF-8 Unicode text data/coq-doc-8.6/doc/refman/RefMan-add.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-mod.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-ltac.tex: LaTeX document, ASCII text, with very long lines data/coq-doc-8.6/doc/refman/Setoid.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/refman/RefMan-sch.tex: LaTeX document, ASCII text data/coq-doc-8.6/doc/Makefile.rt: ASCII text data/coq-doc-8.6/configure.ml: Mathematica 3.0 notebook data/coq-doc-8.6/INSTALL: ASCII text data/coq-doc-8.6/INSTALL.ide: ASCII text data/coq-doc-8.6/printing/printer.mli: Mathematica 3.0 notebook data/coq-doc-8.6/printing/miscprint.ml: Mathematica 3.0 notebook data/coq-doc-8.6/printing/printer.ml: Mathematica 3.0 notebook data/coq-doc-8.6/printing/ppconstrsig.mli: Mathematica 3.0 notebook data/coq-doc-8.6/printing/ppvernacsig.mli: Mathematica 3.0 notebook data/coq-doc-8.6/printing/prettyp.mli: Mathematica 3.0 notebook data/coq-doc-8.6/printing/pputils.mli: Mathematica 3.0 notebook data/coq-doc-8.6/printing/printmodsig.mli: Mathematica 3.0 notebook data/coq-doc-8.6/printing/ppconstr.ml: Mathematica 3.0 notebook data/coq-doc-8.6/printing/ppannotation.mli: Mathematica 3.0 notebook data/coq-doc-8.6/printing/genprint.ml: Mathematica 3.0 notebook data/coq-doc-8.6/printing/miscprint.mli: Mathematica 3.0 notebook data/coq-doc-8.6/printing/ppconstr.mli: Mathematica 3.0 notebook data/coq-doc-8.6/printing/pptactic.ml: Mathematica 3.0 notebook data/coq-doc-8.6/printing/printmod.mli: Mathematica 3.0 notebook data/coq-doc-8.6/printing/pptacticsig.mli: Mathematica 3.0 notebook data/coq-doc-8.6/printing/pputils.ml: Mathematica 3.0 notebook data/coq-doc-8.6/printing/ppvernac.mli: Mathematica 3.0 notebook data/coq-doc-8.6/printing/prettyp.ml: Mathematica 3.0 notebook data/coq-doc-8.6/printing/ppannotation.ml: Mathematica 3.0 notebook data/coq-doc-8.6/printing/genprint.mli: Mathematica 3.0 notebook data/coq-doc-8.6/printing/pptactic.mli: Mathematica 3.0 notebook data/coq-doc-8.6/printing/ppvernac.ml: Mathematica 3.0 notebook data/coq-doc-8.6/printing/printing.mllib: ASCII text data/coq-doc-8.6/printing/printmod.ml: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/ClassicalEpsilon.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Logic/RelationalChoice.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/EqdepFacts.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Logic/Description.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/ExtensionalityFacts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/ClassicalUniqueChoice.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Logic/ProofIrrelevance.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/FinFun.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/ClassicalChoice.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/SetIsType.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/Classical_Prop.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/WeakFan.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/PropFacts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/JMeq.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/Eqdep_dec.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/Decidable.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/Diaconescu.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Logic/Epsilon.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/Hurkens.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/Classical_Pred_Type.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/ClassicalFacts.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Logic/ChoiceFacts.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Logic/ProofIrrelevanceFacts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/WKL.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/Classical.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/Eqdep.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Logic/FunctionalExtensionality.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/ClassicalDescription.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/ConstructiveEpsilon.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/IndefiniteDescription.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Logic/vo.itarget: ASCII text data/coq-doc-8.6/theories/Logic/Berardi.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/MSets/MSetRBT.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/MSets/MSetGenTree.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/MSets/MSetDecide.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/MSets/MSetWeakList.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/MSets/MSetFacts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/MSets/MSetEqProperties.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/MSets/MSets.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/MSets/MSetList.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/MSets/MSetToFiniteSet.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/MSets/MSetProperties.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/MSets/MSetInterface.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/MSets/MSetPositive.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/MSets/MSetAVL.v: ASCII text data/coq-doc-8.6/theories/MSets/vo.itarget: ASCII text data/coq-doc-8.6/theories/QArith/QArith_base.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/QArith/Qreduction.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/QArith/Qpower.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/QArith/Qcabs.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/QArith/Qcanon.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/QArith/Qround.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/QArith/QOrderedType.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/QArith/QArith.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/QArith/Qminmax.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/QArith/Qring.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/QArith/Qfield.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/QArith/Qreals.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/QArith/Qabs.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/QArith/vo.itarget: ASCII text data/coq-doc-8.6/theories/Setoids/Setoid.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Setoids/vo.itarget: ASCII text, with no line terminators data/coq-doc-8.6/theories/Vectors/VectorEq.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Vectors/VectorSpec.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Vectors/VectorDef.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Vectors/Vector.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Vectors/Fin.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Vectors/vo.itarget: ASCII text data/coq-doc-8.6/theories/Program/Wf.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Program/Equality.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Program/Tactics.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Program/Subset.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Program/Syntax.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Program/Combinators.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Program/Utils.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Program/Program.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Program/Basics.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Program/vo.itarget: ASCII text data/coq-doc-8.6/theories/Unicode/Utf8.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Unicode/Utf8_core.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Unicode/vo.itarget: ASCII text data/coq-doc-8.6/theories/Reals/R_sqr.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rseries.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/ROrderedType.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/SplitRmult.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rtrigo_calc.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/SplitAbsolu.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/SeqSeries.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/RList.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rprod.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Cauchy_prod.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rtrigo_alt.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/PartSum.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Ranalysis_reg.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Reals.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Ranalysis2.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rtrigo1.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rdefinitions.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Ranalysis3.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Cos_rel.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rtrigo_fun.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/RiemannInt_SF.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/R_sqrt.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/NewtonInt.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Ratan.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Raxioms.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rderiv.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/SeqProp.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Ranalysis1.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rsqrt_def.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/ArithProp.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rminmax.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/PSeries_reg.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rfunctions.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Machin.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rtopology.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rpower.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/AltSeries.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rtrigo_reg.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rbasic_fun.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/RiemannInt.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Reals/Cos_plus.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rlogic.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/RIneq.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Reals/Rbase.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Ranalysis5.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rlimit.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Exp_prop.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rgeom.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Integration.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Alembert.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Binomial.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rpow_def.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Sqrt_reg.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rtrigo_def.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rtrigo.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rsigma.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/DiscrR.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Ranalysis4.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/vo.itarget: ASCII text data/coq-doc-8.6/theories/Reals/MVT.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/R_Ifp.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Ranalysis.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Reals/Rcomplete.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Powerset.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Powerset_facts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Finite_sets.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Partial_Order.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Multiset.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Infinite_sets.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Relations_1.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Classical_sets.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Constructive_sets.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Permut.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Cpo.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Uniset.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Relations_3.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Relations_2.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Relations_2_facts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Ensembles.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Powerset_Classical_facts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Image.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Relations_3_facts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Relations_1_facts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/vo.itarget: ASCII text data/coq-doc-8.6/theories/Sets/Integers.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sets/Finite_sets_facts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Wellfounded/Well_Ordering.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Wellfounded/Disjoint_Union.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Wellfounded/Wellfounded.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Wellfounded/Lexicographic_Product.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Wellfounded/Transitive_Closure.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Wellfounded/Union.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Wellfounded/Inverse_Image.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Wellfounded/Inclusion.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Wellfounded/vo.itarget: ASCII text data/coq-doc-8.6/theories/Wellfounded/Lexicographic_Exponentiation.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Compat/Coq86.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Compat/Coq84.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Compat/Coq85.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Compat/AdmitAxiom.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Compat/vo.itarget: ASCII text data/coq-doc-8.6/theories/Lists/SetoidPermutation.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Lists/StreamMemo.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Lists/Streams.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Lists/SetoidList.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Lists/ListDec.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Lists/List.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Lists/ListSet.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Lists/ListTactics.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Lists/vo.itarget: ASCII text data/coq-doc-8.6/theories/Structures/OrdersTac.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Structures/DecidableType.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Structures/OrderedType.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Structures/OrdersFacts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Structures/EqualitiesFacts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Structures/OrdersLists.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Structures/GenericMinMax.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Structures/DecidableTypeEx.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Structures/Orders.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Structures/OrdersAlt.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Structures/OrdersEx.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Structures/Equalities.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Structures/OrderedTypeEx.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Structures/vo.itarget: ASCII text data/coq-doc-8.6/theories/Structures/OrderedTypeAlt.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Strings/Ascii.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Strings/vo.itarget: ASCII text data/coq-doc-8.6/theories/Strings/String.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Numbers/NaryFunctions.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NumPrelude.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZLt.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZDivTrunc.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZMulOrder.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZAdd.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZLcm.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZGcd.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZAxioms.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZAddOrder.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZPow.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZProperties.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZDivEucl.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZBase.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZBits.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZDivFloor.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZParity.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZMul.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZSgnAbs.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Abstract/ZMaxMin.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/NatPairs/ZNatPairs.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/BigZ/BigZ.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/BigZ/ZMake.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/SpecViaZ/ZSigZAxioms.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/SpecViaZ/ZSig.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Integer/Binary/ZBinary.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/BinNums.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/Abstract/NZCyclic.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/Abstract/CyclicAxioms.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/ZModulo/ZModulo.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/Int31/Cyclic31.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/Int31/Ring31.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/Int31/Int31.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/DoubleCyclic/DoubleSqrt.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/DoubleCyclic/DoubleCyclic.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/DoubleCyclic/DoubleBase.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/DoubleCyclic/DoubleAdd.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/DoubleCyclic/DoubleLift.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/DoubleCyclic/DoubleMul.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/DoubleCyclic/DoubleSub.v: ASCII text data/coq-doc-8.6/theories/Numbers/Cyclic/DoubleCyclic/DoubleType.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/DoubleCyclic/DoubleDivn1.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Cyclic/DoubleCyclic/DoubleDiv.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/BigN/NMake.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/BigN/Nbasic.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/BigN/NMake_gen.ml: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/BigN/BigN.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NGcd.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NParity.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NMaxMin.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NProperties.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NSqrt.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NPow.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NLcm.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NAddOrder.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NOrder.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NDiv.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NAdd.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NBits.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NBase.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NSub.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NMulOrder.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NLog.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NAxioms.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NStrongRec.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NIso.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Abstract/NDefOps.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/SpecViaZ/NSig.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/SpecViaZ/NSigNAxioms.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Binary/NBinary.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Natural/Peano/NPeano.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Rational/BigQ/BigQ.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Rational/BigQ/QMake.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/Rational/SpecViaQ/QSig.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/BigNumPrelude.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZBits.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZAxioms.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZMulOrder.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZSqrt.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZGcd.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZOrder.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZDiv.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZDomain.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZMul.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZPow.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZProperties.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZAddOrder.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZAdd.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZParity.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZBase.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/NatInt/NZLog.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Numbers/vo.itarget: ASCII text data/coq-doc-8.6/theories/Relations/Relation_Definitions.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Relations/Relation_Operators.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Relations/Relations.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Relations/Operators_Properties.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Relations/vo.itarget: ASCII text data/coq-doc-8.6/theories/Init/Wf.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Init/Prelude.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Init/Tactics.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Init/Logic.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Init/Notations.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Init/Specif.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Init/Tauto.v: ASCII text data/coq-doc-8.6/theories/Init/Logic_Type.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Init/Peano.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Init/Datatypes.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Init/Nat.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Init/vo.itarget: ASCII text data/coq-doc-8.6/theories/Bool/Zerob.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Bool/Bool.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Bool/DecBool.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Bool/Sumbool.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Bool/IfProp.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Bool/Bvector.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Bool/BoolEq.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Bool/vo.itarget: ASCII text data/coq-doc-8.6/theories/Arith/Minus.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Lt.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Factorial.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Bool_nat.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Compare_dec.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Plus.v: ASCII text data/coq-doc-8.6/theories/Arith/Max.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Peano_dec.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Le.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Mult.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Wf_nat.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Euclid.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/EqNat.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/PeanoNat.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Arith.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Min.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Arith_base.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Even.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Gt.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Div2.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/Compare.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Arith/vo.itarget: ASCII text data/coq-doc-8.6/theories/Arith/Between.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sorting/Heap.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sorting/Sorting.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sorting/PermutSetoid.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sorting/PermutEq.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sorting/Permutation.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sorting/vo.itarget: ASCII text data/coq-doc-8.6/theories/Sorting/Mergesort.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Sorting/Sorted.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/NArith/Ndist.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/NArith/Nsqrt_def.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/NArith/Ngcd_def.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/NArith/Ndigits.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/NArith/BinNat.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/NArith/Ndiv_def.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/NArith/Nnat.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/NArith/NArith.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/NArith/BinNatDef.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/NArith/vo.itarget: ASCII text data/coq-doc-8.6/theories/NArith/Ndec.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FSetInterface.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FMapFullAVL.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FMapFacts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FSetAVL.v: ASCII text data/coq-doc-8.6/theories/FSets/FMapWeakList.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FSetWeakList.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FSets.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FSetToFiniteSet.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FMaps.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FSetProperties.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FMapPositive.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FMapInterface.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FSetCompat.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FSetList.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FSetPositive.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FSetDecide.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FSetBridge.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/vo.itarget: ASCII text data/coq-doc-8.6/theories/FSets/FMapAVL.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FSetFacts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FSetEqProperties.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/FSets/FMapList.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Classes/RelationPairs.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Classes/RelationClasses.v: UTF-8 Unicode text data/coq-doc-8.6/theories/Classes/Equivalence.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Classes/Morphisms.v: ASCII text data/coq-doc-8.6/theories/Classes/CRelationClasses.v: ASCII text data/coq-doc-8.6/theories/Classes/SetoidDec.v: ASCII text data/coq-doc-8.6/theories/Classes/CEquivalence.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Classes/EquivDec.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Classes/SetoidClass.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Classes/DecidableClass.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Classes/CMorphisms.v: ASCII text data/coq-doc-8.6/theories/Classes/Morphisms_Relations.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Classes/Init.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Classes/Morphisms_Prop.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/Classes/vo.itarget: ASCII text data/coq-doc-8.6/theories/Classes/SetoidTactics.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/ZArith.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Zorder.v: UTF-8 Unicode text data/coq-doc-8.6/theories/ZArith/Zmax.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Zlogarithm.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Znat.v: UTF-8 Unicode text data/coq-doc-8.6/theories/ZArith/Zbool.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Zhints.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/ZArith_dec.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Zminmax.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Zabs.v: UTF-8 Unicode text data/coq-doc-8.6/theories/ZArith/Zsqrt_compat.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Zcompare.v: UTF-8 Unicode text data/coq-doc-8.6/theories/ZArith/Zeven.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Zdigits.v: ASCII text data/coq-doc-8.6/theories/ZArith/Zcomplements.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Zpow_facts.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/auxiliary.v: UTF-8 Unicode text data/coq-doc-8.6/theories/ZArith/Zpow_alt.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Znumtheory.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Zgcd_alt.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Zquot.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/ZArith_base.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Zmin.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Zeuclid.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/BinIntDef.v: UTF-8 Unicode text data/coq-doc-8.6/theories/ZArith/Zpower.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Zdiv.v: UTF-8 Unicode text data/coq-doc-8.6/theories/ZArith/Zwf.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Int.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Zpow_def.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/Wf_Z.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/BinInt.v: UTF-8 Unicode text data/coq-doc-8.6/theories/ZArith/Zmisc.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/ZArith/vo.itarget: ASCII text data/coq-doc-8.6/theories/PArith/PArith.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/PArith/Pnat.v: UTF-8 Unicode text data/coq-doc-8.6/theories/PArith/BinPosDef.v: UTF-8 Unicode text data/coq-doc-8.6/theories/PArith/POrderedType.v: Mathematica 3.0 notebook data/coq-doc-8.6/theories/PArith/BinPos.v: UTF-8 Unicode text data/coq-doc-8.6/theories/PArith/vo.itarget: ASCII text data/coq-doc-8.6/parsing/pcoq.ml: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/highparsing.mllib: ASCII text data/coq-doc-8.6/parsing/doc.tex: LaTeX document, ASCII text data/coq-doc-8.6/parsing/egramml.mli: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/compat.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/tok.ml: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/g_proofs.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/g_constr.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/pcoq.mli: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/g_vernac.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/egramcoq.mli: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/g_prim.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/egramml.ml: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/egramcoq.ml: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/cLexer.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/g_tactic.ml4: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/cLexer.mli: Mathematica 3.0 notebook data/coq-doc-8.6/parsing/parsing.mllib: ASCII text data/coq-doc-8.6/parsing/tok.mli: Mathematica 3.0 notebook data/coq-doc-8.6/debian/Makefile.config: ASCII text data/coq-doc-8.6/debian/changelog: UTF-8 Unicode text data/coq-doc-8.6/debian/clean: ASCII text data/coq-doc-8.6/debian/compat: ASCII text data/coq-doc-8.6/debian/control: UTF-8 Unicode text data/coq-doc-8.6/debian/copyright: UTF-8 Unicode text data/coq-doc-8.6/debian/coq-doc-html.doc-base.faq: UTF-8 Unicode text data/coq-doc-8.6/debian/coq-doc-html.doc-base.manual: ASCII text data/coq-doc-8.6/debian/coq-doc-html.doc-base.rectutorial: UTF-8 Unicode text, with very long lines data/coq-doc-8.6/debian/coq-doc-html.doc-base.tutorial: UTF-8 Unicode text data/coq-doc-8.6/debian/coq-doc-html.install: ASCII text data/coq-doc-8.6/debian/coq-doc-pdf.doc-base.faq: UTF-8 Unicode text data/coq-doc-8.6/debian/coq-doc-pdf.doc-base.manual: ASCII text data/coq-doc-8.6/debian/coq-doc-pdf.doc-base.rectutorial: UTF-8 Unicode text, with very long lines data/coq-doc-8.6/debian/coq-doc-pdf.doc-base.tutorial: UTF-8 Unicode text data/coq-doc-8.6/debian/coq-doc-pdf.docs: ASCII text data/coq-doc-8.6/debian/coq-doc.links: ASCII text data/coq-doc-8.6/debian/gbp.conf: ASCII text data/coq-doc-8.6/debian/patches/series: empty data/coq-doc-8.6/debian/rules: a /usr/bin/make -f script, ASCII text executable data/coq-doc-8.6/debian/source/format: ASCII text data/coq-doc-8.6/debian/watch: ASCII text data/coq-doc-8.6/.pc/.version: ASCII text data/coq-doc-8.6/.pc/.quilt_patches: ASCII text data/coq-doc-8.6/.pc/.quilt_series: ASCII text data/coq-doc-8.6/.pc/applied-patches: empty