не показывать навигацию

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

/usr/lib/ocaml/coq-equations/META
/usr/lib/ocaml/coq-equations/context_map.cmi
/usr/lib/ocaml/coq-equations/context_map.cmx
/usr/lib/ocaml/coq-equations/covering.cmi
/usr/lib/ocaml/coq-equations/covering.cmx
/usr/lib/ocaml/coq-equations/depelim.cmi
/usr/lib/ocaml/coq-equations/depelim.cmx
/usr/lib/ocaml/coq-equations/ederive.cmi
/usr/lib/ocaml/coq-equations/ederive.cmx
/usr/lib/ocaml/coq-equations/eqdec.cmi
/usr/lib/ocaml/coq-equations/eqdec.cmx
/usr/lib/ocaml/coq-equations/equations.cmi
/usr/lib/ocaml/coq-equations/equations.cmx
/usr/lib/ocaml/coq-equations/equations_common.cmi
/usr/lib/ocaml/coq-equations/equations_common.cmx
/usr/lib/ocaml/coq-equations/equations_plugin.cmxa
/usr/lib/ocaml/coq-equations/equations_plugin.cmxs
/usr/lib/ocaml/coq-equations/extra_tactics.cmi
/usr/lib/ocaml/coq-equations/extra_tactics.cmx
/usr/lib/ocaml/coq-equations/g_equations.cmi
/usr/lib/ocaml/coq-equations/g_equations.cmx
/usr/lib/ocaml/coq-equations/noconf.cmi
/usr/lib/ocaml/coq-equations/noconf.cmx
/usr/lib/ocaml/coq-equations/noconf_hom.cmi
/usr/lib/ocaml/coq-equations/noconf_hom.cmx
/usr/lib/ocaml/coq-equations/principles.cmi
/usr/lib/ocaml/coq-equations/principles.cmx
/usr/lib/ocaml/coq-equations/principles_proofs.cmi
/usr/lib/ocaml/coq-equations/principles_proofs.cmx
/usr/lib/ocaml/coq-equations/sigma_types.cmi
/usr/lib/ocaml/coq-equations/sigma_types.cmx
/usr/lib/ocaml/coq-equations/simplify.cmi
/usr/lib/ocaml/coq-equations/simplify.cmx
/usr/lib/ocaml/coq-equations/splitting.cmi
/usr/lib/ocaml/coq-equations/splitting.cmx
/usr/lib/ocaml/coq-equations/subterm.cmi
/usr/lib/ocaml/coq-equations/subterm.cmx
/usr/lib/ocaml/coq-equations/syntax.cmi
/usr/lib/ocaml/coq-equations/syntax.cmx
/usr/lib/ocaml/coq/user-contrib/Equations/CoreTactics.glob
/usr/lib/ocaml/coq/user-contrib/Equations/CoreTactics.v
/usr/lib/ocaml/coq/user-contrib/Equations/CoreTactics.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Init.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Init.v
/usr/lib/ocaml/coq/user-contrib/Equations/Init.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Classes.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Classes.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Classes.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Constants.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Constants.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Constants.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/DepElim.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/DepElim.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/DepElim.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/EqDec.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/EqDec.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/EqDec.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/EqDecInstances.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/EqDecInstances.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/EqDecInstances.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Equations.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Equations.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Equations.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/FunctionalInduction.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/FunctionalInduction.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/FunctionalInduction.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Loader.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Loader.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Loader.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Logic.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Logic.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Logic.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/NoConfusion.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/NoConfusion.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/NoConfusion.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/NoConfusion_UIP.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/NoConfusion_UIP.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/NoConfusion_UIP.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/NoCycle.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/NoCycle.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/NoCycle.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/OpaqueEquations.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/OpaqueEquations.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/OpaqueEquations.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Subterm.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Subterm.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Subterm.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Tactics.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Tactics.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Tactics.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Telescopes.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Telescopes.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/Telescopes.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/TransparentEquations.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/TransparentEquations.v
/usr/lib/ocaml/coq/user-contrib/Equations/Prop/TransparentEquations.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Signature.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Signature.v
/usr/lib/ocaml/coq/user-contrib/Equations/Signature.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/All.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/All.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/All.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Classes.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Classes.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Classes.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Constants.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Constants.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Constants.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/DepElim.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/DepElim.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/DepElim.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/EqDec.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/EqDec.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/EqDec.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/EqDecInstances.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/EqDecInstances.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/EqDecInstances.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/FunctionalExtensionality.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/FunctionalExtensionality.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/FunctionalExtensionality.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/FunctionalInduction.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/FunctionalInduction.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/FunctionalInduction.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Loader.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Loader.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Loader.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Logic.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Logic.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Logic.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/NoConfusion.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/NoConfusion.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/NoConfusion.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Relation.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Relation.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Relation.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Relation_Properties.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Relation_Properties.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Relation_Properties.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Subterm.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Subterm.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Subterm.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Tactics.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Tactics.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Tactics.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Telescopes.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Telescopes.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/Telescopes.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/WellFounded.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/WellFounded.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/WellFounded.vo
/usr/lib/ocaml/coq/user-contrib/Equations/Type/WellFoundedInstances.glob
/usr/lib/ocaml/coq/user-contrib/Equations/Type/WellFoundedInstances.v
/usr/lib/ocaml/coq/user-contrib/Equations/Type/WellFoundedInstances.vo
/usr/lib/ocaml/coq/user-contrib/Equations/equations_plugin.cmxs
/usr/share/doc/libcoq-equations/changelog.Debian.gz
/usr/share/doc/libcoq-equations/changelog.gz
/usr/share/doc/libcoq-equations/copyright
/usr/share/doc/libcoq-equations/examples/AlmostFull.v
/usr/share/doc/libcoq-equations/examples/Basics.v
/usr/share/doc/libcoq-equations/examples/Fin.v
/usr/share/doc/libcoq-equations/examples/HoTT_light.v
/usr/share/doc/libcoq-equations/examples/Makefile.local
/usr/share/doc/libcoq-equations/examples/MoreDep.v
/usr/share/doc/libcoq-equations/examples/POPLMark1a.v
/usr/share/doc/libcoq-equations/examples/RoseTree.v
/usr/share/doc/libcoq-equations/examples/STLC.v
/usr/share/doc/libcoq-equations/examples/_CoqProject
/usr/share/doc/libcoq-equations/examples/_HoTTProject
/usr/share/doc/libcoq-equations/examples/accumulator.v
/usr/share/doc/libcoq-equations/examples/bove_capretta.v
/usr/share/doc/libcoq-equations/examples/definterp.v
/usr/share/doc/libcoq-equations/examples/definterp_scope.v
/usr/share/doc/libcoq-equations/examples/definterp_simple.v
/usr/share/doc/libcoq-equations/examples/function_iter_style.v
/usr/share/doc/libcoq-equations/examples/general_recursion.v
/usr/share/doc/libcoq-equations/examples/graph_complete.v
/usr/share/doc/libcoq-equations/examples/ho_finite_branching.v
/usr/share/doc/libcoq-equations/examples/misc.v
/usr/share/doc/libcoq-equations/examples/mutualwfrec.v
/usr/share/doc/libcoq-equations/examples/nested_mut_rec.v
/usr/share/doc/libcoq-equations/examples/nm.v
/usr/share/doc/libcoq-equations/examples/ordinals.v
/usr/share/doc/libcoq-equations/examples/polynomials.v
/usr/share/doc/libcoq-equations/examples/quicksort.v
/usr/share/doc/libcoq-equations/examples/string_matching.v
/usr/share/doc/libcoq-equations/examples/views.v
/usr/share/doc/libcoq-equations/examples/wfrec.v
/usr/share/lintian/overrides/libcoq-equations
/var/lib/coq/md5sums/libcoq-equations.checksum