{ "name": "logtk", "version": "1.5.1", "files": [ "doc/logtk.proofs/Logtk_proofs/LLTerm/Conv/index.html", "doc/logtk.proofs/Logtk_proofs/LLTerm/Set/index.html", "doc/logtk.proofs/Logtk_proofs/LLTerm/Form/index.html", "doc/logtk.proofs/Logtk_proofs/LLTerm/Linexp_rat/index.html", "doc/logtk.proofs/Logtk_proofs/LLTerm/Linexp_int/index.html", "doc/logtk.proofs/Logtk_proofs/LLTerm/module-type-LINEXP/index.html", "doc/logtk.proofs/Logtk_proofs/LLTerm/Rat_op/index.html", "doc/logtk.proofs/Logtk_proofs/LLTerm/Int_op/index.html", "doc/logtk.proofs/Logtk_proofs/LLTerm/index.html", "doc/logtk.proofs/Logtk_proofs/LLProver/index.html", "doc/logtk.proofs/Logtk_proofs/LLProof_conv/index.html", "doc/logtk.proofs/Logtk_proofs/LLProof_check/index.html", "doc/logtk.proofs/Logtk_proofs/LLProof/Dot/index.html", "doc/logtk.proofs/Logtk_proofs/LLProof/Tbl/index.html", "doc/logtk.proofs/Logtk_proofs/LLProof/index.html", "doc/logtk.proofs/Logtk_proofs/index.html", "doc/logtk.proofs/index.html", "doc/logtk.parsers/Logtk_parsers/Util_zf/index.html", "doc/logtk.parsers/Logtk_parsers/Util_tptp/index.html", "doc/logtk.parsers/Logtk_parsers/Util_tip/index.html", "doc/logtk.parsers/Logtk_parsers/Util_dk/index.html", "doc/logtk.parsers/Logtk_parsers/Trace_tstp/StepTbl/index.html", "doc/logtk.parsers/Logtk_parsers/Trace_tstp/index.html", "doc/logtk.parsers/Logtk_parsers/Tip_parser/index.html", "doc/logtk.parsers/Logtk_parsers/Tip_lexer/index.html", "doc/logtk.parsers/Logtk_parsers/Tip_ast/index.html", "doc/logtk.parsers/Logtk_parsers/Parsing_utils/index.html", "doc/logtk.parsers/Logtk_parsers/Parse_zf/index.html", "doc/logtk.parsers/Logtk_parsers/Parse_tptp/index.html", "doc/logtk.parsers/Logtk_parsers/Parse_dk/index.html", "doc/logtk.parsers/Logtk_parsers/Lex_zf/index.html", "doc/logtk.parsers/Logtk_parsers/Lex_tptp/index.html", "doc/logtk.parsers/Logtk_parsers/Lex_dk/index.html", "doc/logtk.parsers/Logtk_parsers/CallProver/Eprover/index.html", "doc/logtk.parsers/Logtk_parsers/CallProver/Prover/index.html", "doc/logtk.parsers/Logtk_parsers/CallProver/index.html", "doc/logtk.parsers/Logtk_parsers/Ast_tptp/index.html", "doc/logtk.parsers/Logtk_parsers/Ast_dk/index.html", "doc/logtk.parsers/Logtk_parsers/index.html", "doc/logtk.parsers/index.html", "doc/logtk/Logtk/Var/Subst/index.html", "doc/logtk/Logtk/Var/Set/index.html", "doc/logtk/Logtk/Var/index.html", "doc/logtk/Logtk/Util/Int_set/index.html", "doc/logtk/Logtk/Util/Int_map/index.html", "doc/logtk/Logtk/Util/Flag/index.html", "doc/logtk/Logtk/Util/Exn/index.html", "doc/logtk/Logtk/Util/Section/index.html", "doc/logtk/Logtk/Util/index.html", "doc/logtk/Logtk/UntypedAST/A/index.html", "doc/logtk/Logtk/UntypedAST/index.html", "doc/logtk/Logtk/UnionFind/Make/argument-1-P/index.html", "doc/logtk/Logtk/UnionFind/Make/index.html", "doc/logtk/Logtk/UnionFind/module-type-PAIR/index.html", "doc/logtk/Logtk/UnionFind/index.html", "doc/logtk/Logtk/Unif_subst/FO/index.html", "doc/logtk/Logtk/Unif_subst/index.html", "doc/logtk/Logtk/Unif_intf/module-type-S/index.html", "doc/logtk/Logtk/Unif_intf/index.html", "doc/logtk/Logtk/Unif_constr/FO/index.html", "doc/logtk/Logtk/Unif_constr/index.html", "doc/logtk/Logtk/Unif/FO/index.html", "doc/logtk/Logtk/Unif/Ty/index.html", "doc/logtk/Logtk/Unif/Inner/index.html", "doc/logtk/Logtk/Unif/index.html", "doc/logtk/Logtk/TypedSTerm/ZF/index.html", "doc/logtk/Logtk/TypedSTerm/TPTP/index.html", "doc/logtk/Logtk/TypedSTerm/UStack/index.html", "doc/logtk/Logtk/TypedSTerm/Var_tbl/index.html", "doc/logtk/Logtk/TypedSTerm/Subst/index.html", "doc/logtk/Logtk/TypedSTerm/Seq/index.html", "doc/logtk/Logtk/TypedSTerm/Tbl/index.html", "doc/logtk/Logtk/TypedSTerm/Map/index.html", "doc/logtk/Logtk/TypedSTerm/Set/index.html", "doc/logtk/Logtk/TypedSTerm/Form/index.html", "doc/logtk/Logtk/TypedSTerm/Ty/index.html", "doc/logtk/Logtk/TypedSTerm/index.html", "doc/logtk/Logtk/TypeInference/Ctx/index.html", "doc/logtk/Logtk/TypeInference/TyBuiltin/index.html", "doc/logtk/Logtk/TypeInference/index.html", "doc/logtk/Logtk/Type/Conv/index.html", "doc/logtk/Logtk/Type/ZF/index.html", "doc/logtk/Logtk/Type/TPTP/index.html", "doc/logtk/Logtk/Type/VarTbl/index.html", "doc/logtk/Logtk/Type/VarMap/index.html", "doc/logtk/Logtk/Type/VarSet/index.html", "doc/logtk/Logtk/Type/Seq/index.html", "doc/logtk/Logtk/Type/Tbl/index.html", "doc/logtk/Logtk/Type/Map/index.html", "doc/logtk/Logtk/Type/Set/index.html", "doc/logtk/Logtk/Type/index.html", "doc/logtk/Logtk/Test_prop/index.html", "doc/logtk/Logtk/Term/Conv/index.html", "doc/logtk/Logtk/Term/ZF/index.html", "doc/logtk/Logtk/Term/TPTP/index.html", "doc/logtk/Logtk/Term/DB/index.html", "doc/logtk/Logtk/Term/Arith/index.html", "doc/logtk/Logtk/Term/Form/index.html", "doc/logtk/Logtk/Term/AC/argument-1-A/index.html", "doc/logtk/Logtk/Term/AC/index.html", "doc/logtk/Logtk/Term/module-type-AC_SPEC/index.html", "doc/logtk/Logtk/Term/Pos/index.html", "doc/logtk/Logtk/Term/Seq/index.html", "doc/logtk/Logtk/Term/VarTbl/index.html", "doc/logtk/Logtk/Term/VarMap/index.html", "doc/logtk/Logtk/Term/VarSet/index.html", "doc/logtk/Logtk/Term/Tbl/index.html", "doc/logtk/Logtk/Term/Map/index.html", "doc/logtk/Logtk/Term/Set/index.html", "doc/logtk/Logtk/Term/Classic/index.html", "doc/logtk/Logtk/Term/index.html", "doc/logtk/Logtk/Subst/Projection/index.html", "doc/logtk/Logtk/Subst/FO/index.html", "doc/logtk/Logtk/Subst/Ty/index.html", "doc/logtk/Logtk/Subst/module-type-SPECIALIZED/index.html", "doc/logtk/Logtk/Subst/Renaming/index.html", "doc/logtk/Logtk/Subst/index.html", "doc/logtk/Logtk/Statement/TPTP/index.html", "doc/logtk/Logtk/Statement/ZF/index.html", "doc/logtk/Logtk/Statement/Seq/index.html", "doc/logtk/Logtk/Statement/index.html", "doc/logtk/Logtk/Skolem/index.html", "doc/logtk/Logtk/Signature/Seq/index.html", "doc/logtk/Logtk/Signature/index.html", "doc/logtk/Logtk/Signal/index.html", "doc/logtk/Logtk/Scoped/index.html", "doc/logtk/Logtk/STerm/StrMap/index.html", "doc/logtk/Logtk/STerm/ZF/index.html", "doc/logtk/Logtk/STerm/TPTP/index.html", "doc/logtk/Logtk/STerm/Seq/index.html", "doc/logtk/Logtk/STerm/StringSet/index.html", "doc/logtk/Logtk/STerm/Tbl/index.html", "doc/logtk/Logtk/STerm/Map/index.html", "doc/logtk/Logtk/STerm/Set/index.html", "doc/logtk/Logtk/STerm/index.html", "doc/logtk/Logtk/SLiteral/ZF/index.html", "doc/logtk/Logtk/SLiteral/TPTP/index.html", "doc/logtk/Logtk/SLiteral/index.html", "doc/logtk/Logtk/Rewrite/Defined_cst/index.html", "doc/logtk/Logtk/Rewrite/Rule_set/index.html", "doc/logtk/Logtk/Rewrite/Rule/index.html", "doc/logtk/Logtk/Rewrite/Lit/Rule/index.html", "doc/logtk/Logtk/Rewrite/Lit/index.html", "doc/logtk/Logtk/Rewrite/Term/Rule_inst_set/index.html", "doc/logtk/Logtk/Rewrite/Term/Set/index.html", "doc/logtk/Logtk/Rewrite/Term/Rule/index.html", "doc/logtk/Logtk/Rewrite/Term/index.html", "doc/logtk/Logtk/Rewrite/index.html", "doc/logtk/Logtk/Rat_lit/Focus/index.html", "doc/logtk/Logtk/Rat_lit/Seq/index.html", "doc/logtk/Logtk/Rat_lit/index.html", "doc/logtk/Logtk/Proof/S/Tbl/index.html", "doc/logtk/Logtk/Proof/S/index.html", "doc/logtk/Logtk/Proof/Parent/index.html", "doc/logtk/Logtk/Proof/Step/index.html", "doc/logtk/Logtk/Proof/Result/index.html", "doc/logtk/Logtk/Proof/Src/index.html", "doc/logtk/Logtk/Proof/Kind/index.html", "doc/logtk/Logtk/Proof/Rule/index.html", "doc/logtk/Logtk/Proof/index.html", "doc/logtk/Logtk/Precedence/Seq/index.html", "doc/logtk/Logtk/Precedence/Constr/index.html", "doc/logtk/Logtk/Precedence/Weight/Infix/index.html", "doc/logtk/Logtk/Precedence/Weight/index.html", "doc/logtk/Logtk/Precedence/index.html", "doc/logtk/Logtk/Position/With/Infix/index.html", "doc/logtk/Logtk/Position/With/index.html", "doc/logtk/Logtk/Position/Build/index.html", "doc/logtk/Logtk/Position/Map/index.html", "doc/logtk/Logtk/Position/index.html", "doc/logtk/Logtk/Polynomial/Make/argument-2-Indet/index.html", "doc/logtk/Logtk/Polynomial/Make/argument-1-Coeff/index.html", "doc/logtk/Logtk/Polynomial/Make/index.html", "doc/logtk/Logtk/Polynomial/module-type-S/index.html", "doc/logtk/Logtk/Polynomial/module-type-OrderedType/index.html", "doc/logtk/Logtk/Polynomial/module-type-IntegerModule/index.html", "doc/logtk/Logtk/Polynomial/index.html", "doc/logtk/Logtk/ParseLocation/Infix/index.html", "doc/logtk/Logtk/ParseLocation/index.html", "doc/logtk/Logtk/Output_format/index.html", "doc/logtk/Logtk/Ordinal/index.html", "doc/logtk/Logtk/Ordering/index.html", "doc/logtk/Logtk/Options/index.html", "doc/logtk/Logtk/NPDtree/MakeTerm/Leaf/index.html", "doc/logtk/Logtk/NPDtree/MakeTerm/argument-1-X/index.html", "doc/logtk/Logtk/NPDtree/MakeTerm/index.html", "doc/logtk/Logtk/NPDtree/Make/argument-1-E/index.html", "doc/logtk/Logtk/NPDtree/Make/index.html", "doc/logtk/Logtk/NPDtree/index.html", "doc/logtk/Logtk/Multisets/MMT/Seq/index.html", "doc/logtk/Logtk/Multisets/MMT/index.html", "doc/logtk/Logtk/Multisets/MT/Seq/index.html", "doc/logtk/Logtk/Multisets/MT/index.html", "doc/logtk/Logtk/Multisets/index.html", "doc/logtk/Logtk/Multiset_intf/module-type-S/Seq/index.html", "doc/logtk/Logtk/Multiset_intf/module-type-S/index.html", "doc/logtk/Logtk/Multiset_intf/index.html", "doc/logtk/Logtk/Multiset/Make/Seq/index.html", "doc/logtk/Logtk/Multiset/Make/argument-1-X/index.html", "doc/logtk/Logtk/Multiset/Make/index.html", "doc/logtk/Logtk/Multiset/index.html", "doc/logtk/Logtk/Monome/Rat/index.html", "doc/logtk/Logtk/Monome/Int/Solve/index.html", "doc/logtk/Logtk/Monome/Int/Modulo/index.html", "doc/logtk/Logtk/Monome/Int/index.html", "doc/logtk/Logtk/Monome/Focus/index.html", "doc/logtk/Logtk/Monome/Seq/index.html", "doc/logtk/Logtk/Monome/index.html", "doc/logtk/Logtk/Literals/View/index.html", "doc/logtk/Logtk/Literals/Conv/index.html", "doc/logtk/Logtk/Literals/Pos/index.html", "doc/logtk/Logtk/Literals/Seq/index.html", "doc/logtk/Logtk/Literals/index.html", "doc/logtk/Logtk/Literal/Conv/index.html", "doc/logtk/Logtk/Literal/View/index.html", "doc/logtk/Logtk/Literal/Pos/index.html", "doc/logtk/Logtk/Literal/Seq/index.html", "doc/logtk/Logtk/Literal/Comp/index.html", "doc/logtk/Logtk/Literal/Set/index.html", "doc/logtk/Logtk/Literal/index.html", "doc/logtk/Logtk/LazyList/index.html", "doc/logtk/Logtk/Lambda/Inner/index.html", "doc/logtk/Logtk/Lambda/index.html", "doc/logtk/Logtk/Interfaces/module-type-GROUP/index.html", "doc/logtk/Logtk/Interfaces/module-type-MONOID/index.html", "doc/logtk/Logtk/Interfaces/module-type-ITER/index.html", "doc/logtk/Logtk/Interfaces/module-type-PRINT_DE_BRUIJN/index.html", "doc/logtk/Logtk/Interfaces/module-type-PRINT_OVERLOAD/index.html", "doc/logtk/Logtk/Interfaces/module-type-PRINT3/index.html", "doc/logtk/Logtk/Interfaces/module-type-PRINT2/index.html", "doc/logtk/Logtk/Interfaces/module-type-PRINT1/index.html", "doc/logtk/Logtk/Interfaces/module-type-PRINT/index.html", "doc/logtk/Logtk/Interfaces/module-type-ORD/index.html", "doc/logtk/Logtk/Interfaces/module-type-HASH/index.html", "doc/logtk/Logtk/Interfaces/module-type-EQ/index.html", "doc/logtk/Logtk/Interfaces/index.html", "doc/logtk/Logtk/Int_lit/Util/index.html", "doc/logtk/Logtk/Int_lit/Focus/index.html", "doc/logtk/Logtk/Int_lit/Seq/index.html", "doc/logtk/Logtk/Int_lit/index.html", "doc/logtk/Logtk/Input_format/index.html", "doc/logtk/Logtk/InnerTerm/Pos/index.html", "doc/logtk/Logtk/InnerTerm/Seq/index.html", "doc/logtk/Logtk/InnerTerm/DB/index.html", "doc/logtk/Logtk/InnerTerm/VarTbl/index.html", "doc/logtk/Logtk/InnerTerm/VarSet/index.html", "doc/logtk/Logtk/InnerTerm/VarMap/index.html", "doc/logtk/Logtk/InnerTerm/Tbl/index.html", "doc/logtk/Logtk/InnerTerm/Set/index.html", "doc/logtk/Logtk/InnerTerm/Map/index.html", "doc/logtk/Logtk/InnerTerm/index.html", "doc/logtk/Logtk/Index_intf/module-type-UNIT_IDX/E/index.html", "doc/logtk/Logtk/Index_intf/module-type-UNIT_IDX/index.html", "doc/logtk/Logtk/Index_intf/module-type-EQUATION/index.html", "doc/logtk/Logtk/Index_intf/module-type-SUBSUMPTION_IDX/C/index.html", "doc/logtk/Logtk/Index_intf/module-type-SUBSUMPTION_IDX/index.html", "doc/logtk/Logtk/Index_intf/module-type-CLAUSE/index.html", "doc/logtk/Logtk/Index_intf/module-type-TERM_IDX/Leaf/index.html", "doc/logtk/Logtk/Index_intf/module-type-TERM_IDX/index.html", "doc/logtk/Logtk/Index_intf/module-type-LEAF/index.html", "doc/logtk/Logtk/Index_intf/index.html", "doc/logtk/Logtk/Index/BasicEquation/index.html", "doc/logtk/Logtk/Index/MakeLeaf/argument-1-X/index.html", "doc/logtk/Logtk/Index/MakeLeaf/index.html", "doc/logtk/Logtk/Index/index.html", "doc/logtk/Logtk/Ind_ty/index.html", "doc/logtk/Logtk/ID/Tbl/index.html", "doc/logtk/Logtk/ID/Set/index.html", "doc/logtk/Logtk/ID/Map/index.html", "doc/logtk/Logtk/ID/index.html", "doc/logtk/Logtk/IArray/index.html", "doc/logtk/Logtk/Head/index.html", "doc/logtk/Logtk/Hashcons/MakeNonWeak/argument-1-X/index.html", "doc/logtk/Logtk/Hashcons/MakeNonWeak/index.html", "doc/logtk/Logtk/Hashcons/Make/argument-1-X/index.html", "doc/logtk/Logtk/Hashcons/Make/index.html", "doc/logtk/Logtk/Hashcons/module-type-S/index.html", "doc/logtk/Logtk/Hashcons/module-type-HashedType/index.html", "doc/logtk/Logtk/Hashcons/index.html", "doc/logtk/Logtk/Hash/index.html", "doc/logtk/Logtk/HVar/index.html", "doc/logtk/Logtk/HO_unif/index.html", "doc/logtk/Logtk/Flex_state/index.html", "doc/logtk/Logtk/Fingerprint/Make/Leaf/index.html", "doc/logtk/Logtk/Fingerprint/Make/argument-1-X/index.html", "doc/logtk/Logtk/Fingerprint/Make/index.html", "doc/logtk/Logtk/Fingerprint/index.html", "doc/logtk/Logtk/FeatureVector/Make/Feature/index.html", "doc/logtk/Logtk/FeatureVector/Make/argument-1-C/index.html", "doc/logtk/Logtk/FeatureVector/Make/index.html", "doc/logtk/Logtk/FeatureVector/index.html", "doc/logtk/Logtk/FV_tree/Make/Feature_fun/index.html", "doc/logtk/Logtk/FV_tree/Make/argument-1-C/index.html", "doc/logtk/Logtk/FV_tree/Make/index.html", "doc/logtk/Logtk/FV_tree/index.html", "doc/logtk/Logtk/Dtree/Default/index.html", "doc/logtk/Logtk/Dtree/Make/argument-1-E/index.html", "doc/logtk/Logtk/Dtree/Make/index.html", "doc/logtk/Logtk/Dtree/index.html", "doc/logtk/Logtk/Defined_pos/Arr/index.html", "doc/logtk/Logtk/Defined_pos/index.html", "doc/logtk/Logtk/DBEnv/index.html", "doc/logtk/Logtk/Congruence_intf/module-type-S/index.html", "doc/logtk/Logtk/Congruence_intf/index.html", "doc/logtk/Logtk/Congruence/FO/index.html", "doc/logtk/Logtk/Congruence/Make/argument-1-T/index.html", "doc/logtk/Logtk/Congruence/Make/index.html", "doc/logtk/Logtk/Congruence/module-type-TERM/index.html", "doc/logtk/Logtk/Congruence/index.html", "doc/logtk/Logtk/Compute_prec/index.html", "doc/logtk/Logtk/Comparison/module-type-PARTIAL_ORD/index.html", "doc/logtk/Logtk/Comparison/index.html", "doc/logtk/Logtk/Cnf/index.html", "doc/logtk/Logtk/Builtin/ZF/index.html", "doc/logtk/Logtk/Builtin/ArithOp/index.html", "doc/logtk/Logtk/Builtin/TPTP/index.html", "doc/logtk/Logtk/Builtin/Tag/index.html", "doc/logtk/Logtk/Builtin/Tbl/index.html", "doc/logtk/Logtk/Builtin/Set/index.html", "doc/logtk/Logtk/Builtin/Map/index.html", "doc/logtk/Logtk/Builtin/Arith/index.html", "doc/logtk/Logtk/Builtin/index.html", "doc/logtk/Logtk/Binder/ZF/index.html", "doc/logtk/Logtk/Binder/TPTP/index.html", "doc/logtk/Logtk/Binder/index.html", "doc/logtk/Logtk/AllocCache/Arr/index.html", "doc/logtk/Logtk/AllocCache/index.html", "doc/logtk/Logtk/index.html", "doc/logtk/index.html", "doc/src/logtk.proofs/logtk_proofs.ml.html", "doc/src/logtk.proofs/LLProof.ml.html", "doc/src/logtk.proofs/LLProof_check.ml.html", "doc/src/logtk.proofs/LLProof_conv.ml.html", "doc/src/logtk.proofs/LLProver.ml.html", "doc/src/logtk.proofs/LLTerm.ml.html", "doc/src/logtk.parsers/logtk_parsers.ml.html", "doc/src/logtk.parsers/ast_tptp.ml.html", "doc/src/logtk.parsers/Ast_dk.ml.html", "doc/src/logtk.parsers/callProver.ml.html", "doc/src/logtk.parsers/Lex_dk.ml.html", "doc/src/logtk.parsers/Lex_tptp.ml.html", "doc/src/logtk.parsers/Lex_zf.ml.html", "doc/src/logtk.parsers/parsing_utils.ml.html", "doc/src/logtk.parsers/Tip_lexer.ml.html", "doc/src/logtk.parsers/Util_dk.ml.html", "doc/src/logtk.parsers/util_zf.ml.html", "doc/src/logtk.parsers/util_tptp.ml.html", "doc/src/logtk.parsers/Tip_ast.ml.html", "doc/src/logtk.parsers/util_tip.ml.html", "doc/src/logtk.parsers/trace_tstp.ml.html", "doc/src/logtk.parsers/Parse_dk.ml.html", "doc/src/logtk.parsers/Tip_parser.ml.html", "doc/src/logtk.parsers/Parse_zf.ml.html", "doc/src/logtk.parsers/Parse_tptp.ml.html", "doc/src/logtk/logtk.ml.html", "doc/src/logtk/Binder.ml.html", "doc/src/logtk/AllocCache.ml.html", "doc/src/logtk/Comparison.ml.html", "doc/src/logtk/Congruence_intf.ml.html", "doc/src/logtk/Compute_prec.ml.html", "doc/src/logtk/Defined_pos.ml.html", "doc/src/logtk/Congruence.ml.html", "doc/src/logtk/DBEnv.ml.html", "doc/src/logtk/Builtin.ml.html", "doc/src/logtk/HVar.ml.html", "doc/src/logtk/FeatureVector.ml.html", "doc/src/logtk/Flex_state.ml.html", "doc/src/logtk/Hashcons.ml.html", "doc/src/logtk/Fingerprint.ml.html", "doc/src/logtk/Hash.ml.html", "doc/src/logtk/Dtree.ml.html", "doc/src/logtk/Head.ml.html", "doc/src/logtk/IArray.ml.html", "doc/src/logtk/FV_tree.ml.html", "doc/src/logtk/Input_format.ml.html", "doc/src/logtk/ID.ml.html", "doc/src/logtk/Index.ml.html", "doc/src/logtk/HO_unif.ml.html", "doc/src/logtk/Index_intf.ml.html", "doc/src/logtk/Ind_ty.ml.html", "doc/src/logtk/Interfaces.ml.html", "doc/src/logtk/LazyList.ml.html", "doc/src/logtk/Multisets.ml.html", "doc/src/logtk/Options.ml.html", "doc/src/logtk/Lambda.ml.html", "doc/src/logtk/Multiset_intf.ml.html", "doc/src/logtk/Ordinal.ml.html", "doc/src/logtk/Cnf.ml.html", "doc/src/logtk/Output_format.ml.html", "doc/src/logtk/ParseLocation.ml.html", "doc/src/logtk/Multiset.ml.html", "doc/src/logtk/Polynomial.ml.html", "doc/src/logtk/Position.ml.html", "doc/src/logtk/SLiteral.ml.html", "doc/src/logtk/Precedence.ml.html", "doc/src/logtk/Literals.ml.html", "doc/src/logtk/Scoped.ml.html", "doc/src/logtk/NPDtree.ml.html", "doc/src/logtk/Ordering.ml.html", "doc/src/logtk/signal.ml.html", "doc/src/logtk/Signature.ml.html", "doc/src/logtk/Unif_constr.ml.html", "doc/src/logtk/Int_lit.ml.html", "doc/src/logtk/Proof.ml.html", "doc/src/logtk/Unif_intf.ml.html", "doc/src/logtk/Rat_lit.ml.html", "doc/src/logtk/Unif_subst.ml.html", "doc/src/logtk/InnerTerm.ml.html", "doc/src/logtk/Rewrite.ml.html", "doc/src/logtk/Skolem.ml.html", "doc/src/logtk/Test_prop.ml.html", "doc/src/logtk/UntypedAST.ml.html", "doc/src/logtk/STerm.ml.html", "doc/src/logtk/Var.ml.html", "doc/src/logtk/UnionFind.ml.html", "doc/src/logtk/Subst.ml.html", "doc/src/logtk/Type.ml.html", "doc/src/logtk/Util.ml.html", "doc/src/logtk/TypeInference.ml.html", "doc/src/logtk/Monome.ml.html", "doc/src/logtk/Statement.ml.html", "doc/src/logtk/Literal.ml.html", "doc/src/logtk/Term.ml.html", "doc/src/logtk/TypedSTerm.ml.html", "doc/src/logtk/Unif.ml.html", "doc/src/index.html", "doc/index.html", "doc/README.html", "doc/CHANGELOG.html" ], "failed": false, "redirections": [ { "old_path": "doc/Logtk/Ordering/index.html", "new_path": "doc/logtk/Logtk/Ordering/index.html" }, { "old_path": "doc/Logtk/Term/Seq/index.html", "new_path": "doc/logtk/Logtk/Term/Seq/index.html" }, { "old_path": "doc/Logtk/Interfaces/module-type-PRINT2/index.html", "new_path": "doc/logtk/Logtk/Interfaces/module-type-PRINT2/index.html" }, { "old_path": "doc/Logtk/STerm/Seq/index.html", "new_path": "doc/logtk/Logtk/STerm/Seq/index.html" }, { "old_path": "doc/Logtk/Subst/Ty/index.html", "new_path": "doc/logtk/Logtk/Subst/Ty/index.html" }, { "old_path": "doc/Logtk/Congruence_intf/module-type-S/index.html", "new_path": "doc/logtk/Logtk/Congruence_intf/module-type-S/index.html" }, { "old_path": "doc/Logtk/Hash/index.html", "new_path": "doc/logtk/Logtk/Hash/index.html" }, { "old_path": "doc/Logtk/Util/index.html", "new_path": "doc/logtk/Logtk/Util/index.html" }, { "old_path": "doc/Logtk/Precedence/index.html", "new_path": "doc/logtk/Logtk/Precedence/index.html" }, { "old_path": "doc/Logtk/FeatureVector/Make/Feature/index.html", "new_path": "doc/logtk/Logtk/FeatureVector/Make/Feature/index.html" }, { "old_path": "doc/Logtk/Rewrite/Defined_cst/index.html", "new_path": "doc/logtk/Logtk/Rewrite/Defined_cst/index.html" }, { "old_path": "doc/Logtk/TypedSTerm/TPTP/index.html", "new_path": "doc/logtk/Logtk/TypedSTerm/TPTP/index.html" }, { "old_path": "doc/Logtk_proofs/LLProof_conv/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLProof_conv/index.html" }, { "old_path": "doc/Logtk/Multiset/Make/Seq/index.html", "new_path": "doc/logtk/Logtk/Multiset/Make/Seq/index.html" }, { "old_path": "doc/Logtk/Term/Pos/index.html", "new_path": "doc/logtk/Logtk/Term/Pos/index.html" }, { "old_path": "doc/Logtk/Multisets/MT/Seq/index.html", "new_path": "doc/logtk/Logtk/Multisets/MT/Seq/index.html" }, { "old_path": "doc/Logtk_parsers/Trace_tstp/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Trace_tstp/index.html" }, { "old_path": "doc/Logtk_parsers/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/index.html" }, { "old_path": "doc/Logtk/Statement/TPTP/index.html", "new_path": "doc/logtk/Logtk/Statement/TPTP/index.html" }, { "old_path": "doc/Logtk/DBEnv/index.html", "new_path": "doc/logtk/Logtk/DBEnv/index.html" }, { "old_path": "doc/Logtk/Polynomial/module-type-OrderedType/index.html", "new_path": "doc/logtk/Logtk/Polynomial/module-type-OrderedType/index.html" }, { "old_path": "doc/Logtk_parsers/Lex_zf/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Lex_zf/index.html" }, { "old_path": "doc/Logtk/Monome/Focus/index.html", "new_path": "doc/logtk/Logtk/Monome/Focus/index.html" }, { "old_path": "doc/Logtk_parsers/Util_tptp/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Util_tptp/index.html" }, { "old_path": "doc/Logtk/Subst/Projection/index.html", "new_path": "doc/logtk/Logtk/Subst/Projection/index.html" }, { "old_path": "doc/Logtk/Congruence/module-type-TERM/index.html", "new_path": "doc/logtk/Logtk/Congruence/module-type-TERM/index.html" }, { "old_path": "doc/Logtk/ParseLocation/Infix/index.html", "new_path": "doc/logtk/Logtk/ParseLocation/Infix/index.html" }, { "old_path": "doc/Logtk/Type/TPTP/index.html", "new_path": "doc/logtk/Logtk/Type/TPTP/index.html" }, { "old_path": "doc/Logtk/Multiset/Make/argument-1-X/index.html", "new_path": "doc/logtk/Logtk/Multiset/Make/argument-1-X/index.html" }, { "old_path": "doc/Logtk/Util/Int_map/index.html", "new_path": "doc/logtk/Logtk/Util/Int_map/index.html" }, { "old_path": "doc/Logtk_proofs/LLTerm/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLTerm/index.html" }, { "old_path": "doc/Logtk_proofs/LLTerm/Int_op/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLTerm/Int_op/index.html" }, { "old_path": "doc/Logtk/Builtin/index.html", "new_path": "doc/logtk/Logtk/Builtin/index.html" }, { "old_path": "doc/Logtk/Type/Conv/index.html", "new_path": "doc/logtk/Logtk/Type/Conv/index.html" }, { "old_path": "doc/Logtk/InnerTerm/Set/index.html", "new_path": "doc/logtk/Logtk/InnerTerm/Set/index.html" }, { "old_path": "doc/Logtk/Monome/index.html", "new_path": "doc/logtk/Logtk/Monome/index.html" }, { "old_path": "doc/Logtk/Position/With/Infix/index.html", "new_path": "doc/logtk/Logtk/Position/With/Infix/index.html" }, { "old_path": "doc/Logtk/Statement/index.html", "new_path": "doc/logtk/Logtk/Statement/index.html" }, { "old_path": "doc/Logtk_parsers/CallProver/Prover/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/CallProver/Prover/index.html" }, { "old_path": "doc/Logtk/Util/Flag/index.html", "new_path": "doc/logtk/Logtk/Util/Flag/index.html" }, { "old_path": "doc/Logtk/InnerTerm/VarMap/index.html", "new_path": "doc/logtk/Logtk/InnerTerm/VarMap/index.html" }, { "old_path": "doc/Logtk/UntypedAST/A/index.html", "new_path": "doc/logtk/Logtk/UntypedAST/A/index.html" }, { "old_path": "doc/Logtk/Literals/View/index.html", "new_path": "doc/logtk/Logtk/Literals/View/index.html" }, { "old_path": "doc/Logtk/Monome/Int/Solve/index.html", "new_path": "doc/logtk/Logtk/Monome/Int/Solve/index.html" }, { "old_path": "doc/Logtk/Interfaces/module-type-PRINT_OVERLOAD/index.html", "new_path": "doc/logtk/Logtk/Interfaces/module-type-PRINT_OVERLOAD/index.html" }, { "old_path": "doc/Logtk/Proof/Step/index.html", "new_path": "doc/logtk/Logtk/Proof/Step/index.html" }, { "old_path": "doc/Logtk/NPDtree/index.html", "new_path": "doc/logtk/Logtk/NPDtree/index.html" }, { "old_path": "doc/Logtk_parsers/Util_dk/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Util_dk/index.html" }, { "old_path": "doc/Logtk/Multisets/MMT/Seq/index.html", "new_path": "doc/logtk/Logtk/Multisets/MMT/Seq/index.html" }, { "old_path": "doc/Logtk/Position/Map/index.html", "new_path": "doc/logtk/Logtk/Position/Map/index.html" }, { "old_path": "doc/Logtk/Type/VarSet/index.html", "new_path": "doc/logtk/Logtk/Type/VarSet/index.html" }, { "old_path": "doc/Logtk/Proof/index.html", "new_path": "doc/logtk/Logtk/Proof/index.html" }, { "old_path": "doc/Logtk/Term/AC/argument-1-A/index.html", "new_path": "doc/logtk/Logtk/Term/AC/argument-1-A/index.html" }, { "old_path": "doc/Logtk/Defined_pos/index.html", "new_path": "doc/logtk/Logtk/Defined_pos/index.html" }, { "old_path": "doc/Logtk/Hashcons/index.html", "new_path": "doc/logtk/Logtk/Hashcons/index.html" }, { "old_path": "doc/Logtk/Index/MakeLeaf/index.html", "new_path": "doc/logtk/Logtk/Index/MakeLeaf/index.html" }, { "old_path": "doc/Logtk/Options/index.html", "new_path": "doc/logtk/Logtk/Options/index.html" }, { "old_path": "doc/Logtk/Builtin/Map/index.html", "new_path": "doc/logtk/Logtk/Builtin/Map/index.html" }, { "old_path": "doc/Logtk/Lambda/Inner/index.html", "new_path": "doc/logtk/Logtk/Lambda/Inner/index.html" }, { "old_path": "doc/Logtk/TypedSTerm/Subst/index.html", "new_path": "doc/logtk/Logtk/TypedSTerm/Subst/index.html" }, { "old_path": "doc/Logtk/Compute_prec/index.html", "new_path": "doc/logtk/Logtk/Compute_prec/index.html" }, { "old_path": "doc/Logtk/UnionFind/Make/argument-1-P/index.html", "new_path": "doc/logtk/Logtk/UnionFind/Make/argument-1-P/index.html" }, { "old_path": "doc/Logtk/Precedence/Weight/Infix/index.html", "new_path": "doc/logtk/Logtk/Precedence/Weight/Infix/index.html" }, { "old_path": "doc/Logtk/TypedSTerm/Map/index.html", "new_path": "doc/logtk/Logtk/TypedSTerm/Map/index.html" }, { "old_path": "doc/Logtk/STerm/Set/index.html", "new_path": "doc/logtk/Logtk/STerm/Set/index.html" }, { "old_path": "doc/Logtk/Term/Classic/index.html", "new_path": "doc/logtk/Logtk/Term/Classic/index.html" }, { "old_path": "doc/Logtk/FV_tree/Make/Feature_fun/index.html", "new_path": "doc/logtk/Logtk/FV_tree/Make/Feature_fun/index.html" }, { "old_path": "doc/Logtk/ID/Map/index.html", "new_path": "doc/logtk/Logtk/ID/Map/index.html" }, { "old_path": "doc/Logtk/Scoped/index.html", "new_path": "doc/logtk/Logtk/Scoped/index.html" }, { "old_path": "doc/Logtk/Hashcons/MakeNonWeak/argument-1-X/index.html", "new_path": "doc/logtk/Logtk/Hashcons/MakeNonWeak/argument-1-X/index.html" }, { "old_path": "doc/Logtk/Test_prop/index.html", "new_path": "doc/logtk/Logtk/Test_prop/index.html" }, { "old_path": "doc/Logtk/Type/Map/index.html", "new_path": "doc/logtk/Logtk/Type/Map/index.html" }, { "old_path": "doc/Logtk/InnerTerm/Map/index.html", "new_path": "doc/logtk/Logtk/InnerTerm/Map/index.html" }, { "old_path": "doc/Logtk/Interfaces/module-type-PRINT1/index.html", "new_path": "doc/logtk/Logtk/Interfaces/module-type-PRINT1/index.html" }, { "old_path": "doc/Logtk/Unif/FO/index.html", "new_path": "doc/logtk/Logtk/Unif/FO/index.html" }, { "old_path": "doc/Logtk_proofs/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/index.html" }, { "old_path": "doc/Logtk/InnerTerm/Tbl/index.html", "new_path": "doc/logtk/Logtk/InnerTerm/Tbl/index.html" }, { "old_path": "doc/Logtk/TypedSTerm/index.html", "new_path": "doc/logtk/Logtk/TypedSTerm/index.html" }, { "old_path": "doc/Logtk/Int_lit/index.html", "new_path": "doc/logtk/Logtk/Int_lit/index.html" }, { "old_path": "doc/Logtk/UnionFind/index.html", "new_path": "doc/logtk/Logtk/UnionFind/index.html" }, { "old_path": "doc/Logtk/FV_tree/index.html", "new_path": "doc/logtk/Logtk/FV_tree/index.html" }, { "old_path": "doc/Logtk/Builtin/Tag/index.html", "new_path": "doc/logtk/Logtk/Builtin/Tag/index.html" }, { "old_path": "doc/Logtk/Int_lit/Util/index.html", "new_path": "doc/logtk/Logtk/Int_lit/Util/index.html" }, { "old_path": "doc/Logtk/Multisets/index.html", "new_path": "doc/logtk/Logtk/Multisets/index.html" }, { "old_path": "doc/Logtk/Index_intf/module-type-EQUATION/index.html", "new_path": "doc/logtk/Logtk/Index_intf/module-type-EQUATION/index.html" }, { "old_path": "doc/Logtk/STerm/index.html", "new_path": "doc/logtk/Logtk/STerm/index.html" }, { "old_path": "doc/Logtk/AllocCache/Arr/index.html", "new_path": "doc/logtk/Logtk/AllocCache/Arr/index.html" }, { "old_path": "doc/Logtk/Comparison/index.html", "new_path": "doc/logtk/Logtk/Comparison/index.html" }, { "old_path": "doc/Logtk/Type/VarMap/index.html", "new_path": "doc/logtk/Logtk/Type/VarMap/index.html" }, { "old_path": "doc/Logtk/Comparison/module-type-PARTIAL_ORD/index.html", "new_path": "doc/logtk/Logtk/Comparison/module-type-PARTIAL_ORD/index.html" }, { "old_path": "doc/Logtk_parsers/CallProver/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/CallProver/index.html" }, { "old_path": "doc/Logtk/Congruence/Make/index.html", "new_path": "doc/logtk/Logtk/Congruence/Make/index.html" }, { "old_path": "doc/Logtk/Polynomial/index.html", "new_path": "doc/logtk/Logtk/Polynomial/index.html" }, { "old_path": "doc/Logtk/ID/index.html", "new_path": "doc/logtk/Logtk/ID/index.html" }, { "old_path": "doc/Logtk/Unif_subst/FO/index.html", "new_path": "doc/logtk/Logtk/Unif_subst/FO/index.html" }, { "old_path": "doc/Logtk/Interfaces/module-type-PRINT_DE_BRUIJN/index.html", "new_path": "doc/logtk/Logtk/Interfaces/module-type-PRINT_DE_BRUIJN/index.html" }, { "old_path": "doc/Logtk/Proof/Rule/index.html", "new_path": "doc/logtk/Logtk/Proof/Rule/index.html" }, { "old_path": "doc/Logtk/Rewrite/index.html", "new_path": "doc/logtk/Logtk/Rewrite/index.html" }, { "old_path": "doc/Logtk/Polynomial/module-type-IntegerModule/index.html", "new_path": "doc/logtk/Logtk/Polynomial/module-type-IntegerModule/index.html" }, { "old_path": "doc/Logtk_parsers/Ast_tptp/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Ast_tptp/index.html" }, { "old_path": "doc/Logtk/index.html", "new_path": "doc/logtk/Logtk/index.html" }, { "old_path": "doc/Logtk/Var/index.html", "new_path": "doc/logtk/Logtk/Var/index.html" }, { "old_path": "doc/Logtk/TypeInference/index.html", "new_path": "doc/logtk/Logtk/TypeInference/index.html" }, { "old_path": "doc/Logtk/NPDtree/MakeTerm/Leaf/index.html", "new_path": "doc/logtk/Logtk/NPDtree/MakeTerm/Leaf/index.html" }, { "old_path": "doc/Logtk/Congruence_intf/index.html", "new_path": "doc/logtk/Logtk/Congruence_intf/index.html" }, { "old_path": "doc/Logtk/TypeInference/TyBuiltin/index.html", "new_path": "doc/logtk/Logtk/TypeInference/TyBuiltin/index.html" }, { "old_path": "doc/Logtk/Proof/Src/index.html", "new_path": "doc/logtk/Logtk/Proof/Src/index.html" }, { "old_path": "doc/Logtk/Rewrite/Term/Rule/index.html", "new_path": "doc/logtk/Logtk/Rewrite/Term/Rule/index.html" }, { "old_path": "doc/Logtk/FV_tree/Make/argument-1-C/index.html", "new_path": "doc/logtk/Logtk/FV_tree/Make/argument-1-C/index.html" }, { "old_path": "doc/Logtk/Builtin/Set/index.html", "new_path": "doc/logtk/Logtk/Builtin/Set/index.html" }, { "old_path": "doc/Logtk/Ind_ty/index.html", "new_path": "doc/logtk/Logtk/Ind_ty/index.html" }, { "old_path": "doc/Logtk/Index_intf/module-type-LEAF/index.html", "new_path": "doc/logtk/Logtk/Index_intf/module-type-LEAF/index.html" }, { "old_path": "doc/Logtk/TypedSTerm/Var_tbl/index.html", "new_path": "doc/logtk/Logtk/TypedSTerm/Var_tbl/index.html" }, { "old_path": "doc/Logtk/Rewrite/Term/Set/index.html", "new_path": "doc/logtk/Logtk/Rewrite/Term/Set/index.html" }, { "old_path": "doc/Logtk/TypedSTerm/Ty/index.html", "new_path": "doc/logtk/Logtk/TypedSTerm/Ty/index.html" }, { "old_path": "doc/Logtk_proofs/LLTerm/Linexp_rat/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLTerm/Linexp_rat/index.html" }, { "old_path": "doc/Logtk/Unif_constr/index.html", "new_path": "doc/logtk/Logtk/Unif_constr/index.html" }, { "old_path": "doc/Logtk/Builtin/TPTP/index.html", "new_path": "doc/logtk/Logtk/Builtin/TPTP/index.html" }, { "old_path": "doc/Logtk/Hashcons/module-type-S/index.html", "new_path": "doc/logtk/Logtk/Hashcons/module-type-S/index.html" }, { "old_path": "doc/Logtk/InnerTerm/index.html", "new_path": "doc/logtk/Logtk/InnerTerm/index.html" }, { "old_path": "doc/Logtk/Builtin/Tbl/index.html", "new_path": "doc/logtk/Logtk/Builtin/Tbl/index.html" }, { "old_path": "doc/Logtk_parsers/Parse_zf/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Parse_zf/index.html" }, { "old_path": "doc/Logtk/Interfaces/module-type-HASH/index.html", "new_path": "doc/logtk/Logtk/Interfaces/module-type-HASH/index.html" }, { "old_path": "doc/Logtk/Statement/ZF/index.html", "new_path": "doc/logtk/Logtk/Statement/ZF/index.html" }, { "old_path": "doc/Logtk/UnionFind/module-type-PAIR/index.html", "new_path": "doc/logtk/Logtk/UnionFind/module-type-PAIR/index.html" }, { "old_path": "doc/Logtk/Interfaces/index.html", "new_path": "doc/logtk/Logtk/Interfaces/index.html" }, { "old_path": "doc/Logtk_proofs/LLProver/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLProver/index.html" }, { "old_path": "doc/Logtk/Interfaces/module-type-EQ/index.html", "new_path": "doc/logtk/Logtk/Interfaces/module-type-EQ/index.html" }, { "old_path": "doc/Logtk_parsers/Parsing_utils/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Parsing_utils/index.html" }, { "old_path": "doc/Logtk/Interfaces/module-type-GROUP/index.html", "new_path": "doc/logtk/Logtk/Interfaces/module-type-GROUP/index.html" }, { "old_path": "doc/Logtk/Signature/Seq/index.html", "new_path": "doc/logtk/Logtk/Signature/Seq/index.html" }, { "old_path": "doc/Logtk/Hashcons/module-type-HashedType/index.html", "new_path": "doc/logtk/Logtk/Hashcons/module-type-HashedType/index.html" }, { "old_path": "doc/Logtk_parsers/Parse_dk/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Parse_dk/index.html" }, { "old_path": "doc/Logtk_parsers/Trace_tstp/StepTbl/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Trace_tstp/StepTbl/index.html" }, { "old_path": "doc/Logtk/Unif/index.html", "new_path": "doc/logtk/Logtk/Unif/index.html" }, { "old_path": "doc/Logtk/Literal/Conv/index.html", "new_path": "doc/logtk/Logtk/Literal/Conv/index.html" }, { "old_path": "doc/Logtk/Type/Seq/index.html", "new_path": "doc/logtk/Logtk/Type/Seq/index.html" }, { "old_path": "doc/Logtk/Fingerprint/Make/argument-1-X/index.html", "new_path": "doc/logtk/Logtk/Fingerprint/Make/argument-1-X/index.html" }, { "old_path": "doc/Logtk/Index_intf/module-type-UNIT_IDX/E/index.html", "new_path": "doc/logtk/Logtk/Index_intf/module-type-UNIT_IDX/E/index.html" }, { "old_path": "doc/Logtk_proofs/LLTerm/Rat_op/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLTerm/Rat_op/index.html" }, { "old_path": "doc/Logtk/Term/ZF/index.html", "new_path": "doc/logtk/Logtk/Term/ZF/index.html" }, { "old_path": "doc/Logtk_parsers/Tip_parser/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Tip_parser/index.html" }, { "old_path": "doc/Logtk/Proof/Result/index.html", "new_path": "doc/logtk/Logtk/Proof/Result/index.html" }, { "old_path": "doc/Logtk/Congruence/Make/argument-1-T/index.html", "new_path": "doc/logtk/Logtk/Congruence/Make/argument-1-T/index.html" }, { "old_path": "doc/Logtk/Polynomial/Make/index.html", "new_path": "doc/logtk/Logtk/Polynomial/Make/index.html" }, { "old_path": "doc/Logtk/Ordinal/index.html", "new_path": "doc/logtk/Logtk/Ordinal/index.html" }, { "old_path": "doc/Logtk/Precedence/Weight/index.html", "new_path": "doc/logtk/Logtk/Precedence/Weight/index.html" }, { "old_path": "doc/Logtk/Monome/Rat/index.html", "new_path": "doc/logtk/Logtk/Monome/Rat/index.html" }, { "old_path": "doc/Logtk/Index_intf/module-type-SUBSUMPTION_IDX/C/index.html", "new_path": "doc/logtk/Logtk/Index_intf/module-type-SUBSUMPTION_IDX/C/index.html" }, { "old_path": "doc/Logtk/Term/Conv/index.html", "new_path": "doc/logtk/Logtk/Term/Conv/index.html" }, { "old_path": "doc/Logtk/Dtree/Default/index.html", "new_path": "doc/logtk/Logtk/Dtree/Default/index.html" }, { "old_path": "doc/Logtk/Unif_subst/index.html", "new_path": "doc/logtk/Logtk/Unif_subst/index.html" }, { "old_path": "doc/Logtk/STerm/StringSet/index.html", "new_path": "doc/logtk/Logtk/STerm/StringSet/index.html" }, { "old_path": "doc/Logtk/Monome/Int/index.html", "new_path": "doc/logtk/Logtk/Monome/Int/index.html" }, { "old_path": "doc/Logtk/SLiteral/ZF/index.html", "new_path": "doc/logtk/Logtk/SLiteral/ZF/index.html" }, { "old_path": "doc/Logtk/Binder/index.html", "new_path": "doc/logtk/Logtk/Binder/index.html" }, { "old_path": "doc/Logtk/Unif_constr/FO/index.html", "new_path": "doc/logtk/Logtk/Unif_constr/FO/index.html" }, { "old_path": "doc/Logtk_proofs/LLTerm/module-type-LINEXP/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLTerm/module-type-LINEXP/index.html" }, { "old_path": "doc/Logtk/FeatureVector/Make/argument-1-C/index.html", "new_path": "doc/logtk/Logtk/FeatureVector/Make/argument-1-C/index.html" }, { "old_path": "doc/Logtk/Fingerprint/index.html", "new_path": "doc/logtk/Logtk/Fingerprint/index.html" }, { "old_path": "doc/Logtk/Rewrite/Term/Rule_inst_set/index.html", "new_path": "doc/logtk/Logtk/Rewrite/Term/Rule_inst_set/index.html" }, { "old_path": "doc/Logtk/InnerTerm/Pos/index.html", "new_path": "doc/logtk/Logtk/InnerTerm/Pos/index.html" }, { "old_path": "doc/Logtk/Proof/S/Tbl/index.html", "new_path": "doc/logtk/Logtk/Proof/S/Tbl/index.html" }, { "old_path": "doc/Logtk/Term/DB/index.html", "new_path": "doc/logtk/Logtk/Term/DB/index.html" }, { "old_path": "doc/Logtk/FV_tree/Make/index.html", "new_path": "doc/logtk/Logtk/FV_tree/Make/index.html" }, { "old_path": "doc/Logtk/Subst/index.html", "new_path": "doc/logtk/Logtk/Subst/index.html" }, { "old_path": "doc/Logtk_parsers/Tip_lexer/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Tip_lexer/index.html" }, { "old_path": "doc/Logtk_parsers/Lex_tptp/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Lex_tptp/index.html" }, { "old_path": "doc/Logtk/Literal/View/index.html", "new_path": "doc/logtk/Logtk/Literal/View/index.html" }, { "old_path": "doc/Logtk/Rat_lit/Seq/index.html", "new_path": "doc/logtk/Logtk/Rat_lit/Seq/index.html" }, { "old_path": "doc/Logtk/Type/Set/index.html", "new_path": "doc/logtk/Logtk/Type/Set/index.html" }, { "old_path": "doc/Logtk/Rewrite/Lit/Rule/index.html", "new_path": "doc/logtk/Logtk/Rewrite/Lit/Rule/index.html" }, { "old_path": "doc/Logtk/Index_intf/module-type-TERM_IDX/index.html", "new_path": "doc/logtk/Logtk/Index_intf/module-type-TERM_IDX/index.html" }, { "old_path": "doc/Logtk/NPDtree/MakeTerm/argument-1-X/index.html", "new_path": "doc/logtk/Logtk/NPDtree/MakeTerm/argument-1-X/index.html" }, { "old_path": "doc/Logtk/IArray/index.html", "new_path": "doc/logtk/Logtk/IArray/index.html" }, { "old_path": "doc/Logtk/Unif/Inner/index.html", "new_path": "doc/logtk/Logtk/Unif/Inner/index.html" }, { "old_path": "doc/Logtk/Proof/Parent/index.html", "new_path": "doc/logtk/Logtk/Proof/Parent/index.html" }, { "old_path": "doc/Logtk/SLiteral/TPTP/index.html", "new_path": "doc/logtk/Logtk/SLiteral/TPTP/index.html" }, { "old_path": "doc/Logtk/Util/Exn/index.html", "new_path": "doc/logtk/Logtk/Util/Exn/index.html" }, { "old_path": "doc/Logtk/STerm/Map/index.html", "new_path": "doc/logtk/Logtk/STerm/Map/index.html" }, { "old_path": "doc/Logtk/ID/Tbl/index.html", "new_path": "doc/logtk/Logtk/ID/Tbl/index.html" }, { "old_path": "doc/Logtk/Unif_intf/index.html", "new_path": "doc/logtk/Logtk/Unif_intf/index.html" }, { "old_path": "doc/Logtk/STerm/Tbl/index.html", "new_path": "doc/logtk/Logtk/STerm/Tbl/index.html" }, { "old_path": "doc/Logtk/Unif_intf/module-type-S/index.html", "new_path": "doc/logtk/Logtk/Unif_intf/module-type-S/index.html" }, { "old_path": "doc/Logtk/Multiset/Make/index.html", "new_path": "doc/logtk/Logtk/Multiset/Make/index.html" }, { "old_path": "doc/Logtk/Term/Form/index.html", "new_path": "doc/logtk/Logtk/Term/Form/index.html" }, { "old_path": "doc/Logtk/Interfaces/module-type-MONOID/index.html", "new_path": "doc/logtk/Logtk/Interfaces/module-type-MONOID/index.html" }, { "old_path": "doc/Logtk_proofs/LLProof/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLProof/index.html" }, { "old_path": "doc/Logtk/Index_intf/index.html", "new_path": "doc/logtk/Logtk/Index_intf/index.html" }, { "old_path": "doc/Logtk/STerm/TPTP/index.html", "new_path": "doc/logtk/Logtk/STerm/TPTP/index.html" }, { "old_path": "doc/Logtk/NPDtree/Make/argument-1-E/index.html", "new_path": "doc/logtk/Logtk/NPDtree/Make/argument-1-E/index.html" }, { "old_path": "doc/Logtk_proofs/LLProof/Dot/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLProof/Dot/index.html" }, { "old_path": "doc/Logtk/Term/Tbl/index.html", "new_path": "doc/logtk/Logtk/Term/Tbl/index.html" }, { "old_path": "doc/Logtk/Term/VarMap/index.html", "new_path": "doc/logtk/Logtk/Term/VarMap/index.html" }, { "old_path": "doc/Logtk/UntypedAST/index.html", "new_path": "doc/logtk/Logtk/UntypedAST/index.html" }, { "old_path": "doc/Logtk/Signal/index.html", "new_path": "doc/logtk/Logtk/Signal/index.html" }, { "old_path": "doc/Logtk/Literal/Set/index.html", "new_path": "doc/logtk/Logtk/Literal/Set/index.html" }, { "old_path": "doc/Logtk/Multiset_intf/index.html", "new_path": "doc/logtk/Logtk/Multiset_intf/index.html" }, { "old_path": "doc/Logtk/Rewrite/Rule_set/index.html", "new_path": "doc/logtk/Logtk/Rewrite/Rule_set/index.html" }, { "old_path": "doc/Logtk/Type/VarTbl/index.html", "new_path": "doc/logtk/Logtk/Type/VarTbl/index.html" }, { "old_path": "doc/Logtk/Fingerprint/Make/index.html", "new_path": "doc/logtk/Logtk/Fingerprint/Make/index.html" }, { "old_path": "doc/Logtk/Lambda/index.html", "new_path": "doc/logtk/Logtk/Lambda/index.html" }, { "old_path": "doc/Logtk/Polynomial/Make/argument-1-Coeff/index.html", "new_path": "doc/logtk/Logtk/Polynomial/Make/argument-1-Coeff/index.html" }, { "old_path": "doc/Logtk/Precedence/Constr/index.html", "new_path": "doc/logtk/Logtk/Precedence/Constr/index.html" }, { "old_path": "doc/Logtk/Dtree/index.html", "new_path": "doc/logtk/Logtk/Dtree/index.html" }, { "old_path": "doc/Logtk_parsers/Parse_tptp/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Parse_tptp/index.html" }, { "old_path": "doc/Logtk/Hashcons/Make/argument-1-X/index.html", "new_path": "doc/logtk/Logtk/Hashcons/Make/argument-1-X/index.html" }, { "old_path": "doc/Logtk/Defined_pos/Arr/index.html", "new_path": "doc/logtk/Logtk/Defined_pos/Arr/index.html" }, { "old_path": "doc/Logtk/Multiset/index.html", "new_path": "doc/logtk/Logtk/Multiset/index.html" }, { "old_path": "doc/Logtk_parsers/Tip_ast/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Tip_ast/index.html" }, { "old_path": "doc/Logtk/FeatureVector/Make/index.html", "new_path": "doc/logtk/Logtk/FeatureVector/Make/index.html" }, { "old_path": "doc/Logtk/Proof/Kind/index.html", "new_path": "doc/logtk/Logtk/Proof/Kind/index.html" }, { "old_path": "doc/Logtk/Signature/index.html", "new_path": "doc/logtk/Logtk/Signature/index.html" }, { "old_path": "doc/Logtk/Polynomial/module-type-S/index.html", "new_path": "doc/logtk/Logtk/Polynomial/module-type-S/index.html" }, { "old_path": "doc/Logtk/Position/index.html", "new_path": "doc/logtk/Logtk/Position/index.html" }, { "old_path": "doc/Logtk/FeatureVector/index.html", "new_path": "doc/logtk/Logtk/FeatureVector/index.html" }, { "old_path": "doc/Logtk/Var/Set/index.html", "new_path": "doc/logtk/Logtk/Var/Set/index.html" }, { "old_path": "doc/Logtk/Index/MakeLeaf/argument-1-X/index.html", "new_path": "doc/logtk/Logtk/Index/MakeLeaf/argument-1-X/index.html" }, { "old_path": "doc/Logtk/Interfaces/module-type-PRINT/index.html", "new_path": "doc/logtk/Logtk/Interfaces/module-type-PRINT/index.html" }, { "old_path": "doc/Logtk/Precedence/Seq/index.html", "new_path": "doc/logtk/Logtk/Precedence/Seq/index.html" }, { "old_path": "doc/Logtk/Rewrite/Lit/index.html", "new_path": "doc/logtk/Logtk/Rewrite/Lit/index.html" }, { "old_path": "doc/Logtk/Congruence/index.html", "new_path": "doc/logtk/Logtk/Congruence/index.html" }, { "old_path": "doc/Logtk/Dtree/Make/argument-1-E/index.html", "new_path": "doc/logtk/Logtk/Dtree/Make/argument-1-E/index.html" }, { "old_path": "doc/Logtk/Literals/Seq/index.html", "new_path": "doc/logtk/Logtk/Literals/Seq/index.html" }, { "old_path": "doc/Logtk/Hashcons/Make/index.html", "new_path": "doc/logtk/Logtk/Hashcons/Make/index.html" }, { "old_path": "doc/Logtk/Multisets/MT/index.html", "new_path": "doc/logtk/Logtk/Multisets/MT/index.html" }, { "old_path": "doc/Logtk/Multiset_intf/module-type-S/Seq/index.html", "new_path": "doc/logtk/Logtk/Multiset_intf/module-type-S/Seq/index.html" }, { "old_path": "doc/Logtk_parsers/Util_tip/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Util_tip/index.html" }, { "old_path": "doc/Logtk/Literals/Conv/index.html", "new_path": "doc/logtk/Logtk/Literals/Conv/index.html" }, { "old_path": "doc/Logtk/Interfaces/module-type-ITER/index.html", "new_path": "doc/logtk/Logtk/Interfaces/module-type-ITER/index.html" }, { "old_path": "doc/Logtk/Input_format/index.html", "new_path": "doc/logtk/Logtk/Input_format/index.html" }, { "old_path": "doc/Logtk/Literal/Comp/index.html", "new_path": "doc/logtk/Logtk/Literal/Comp/index.html" }, { "old_path": "doc/Logtk/TypedSTerm/Tbl/index.html", "new_path": "doc/logtk/Logtk/TypedSTerm/Tbl/index.html" }, { "old_path": "doc/Logtk/Util/Section/index.html", "new_path": "doc/logtk/Logtk/Util/Section/index.html" }, { "old_path": "doc/Logtk/Var/Subst/index.html", "new_path": "doc/logtk/Logtk/Var/Subst/index.html" }, { "old_path": "doc/Logtk_parsers/Ast_dk/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Ast_dk/index.html" }, { "old_path": "doc/Logtk/Util/Int_set/index.html", "new_path": "doc/logtk/Logtk/Util/Int_set/index.html" }, { "old_path": "doc/Logtk/Proof/S/index.html", "new_path": "doc/logtk/Logtk/Proof/S/index.html" }, { "old_path": "doc/Logtk/Term/module-type-AC_SPEC/index.html", "new_path": "doc/logtk/Logtk/Term/module-type-AC_SPEC/index.html" }, { "old_path": "doc/Logtk/ID/Set/index.html", "new_path": "doc/logtk/Logtk/ID/Set/index.html" }, { "old_path": "doc/Logtk/Literal/index.html", "new_path": "doc/logtk/Logtk/Literal/index.html" }, { "old_path": "doc/Logtk/Unif/Ty/index.html", "new_path": "doc/logtk/Logtk/Unif/Ty/index.html" }, { "old_path": "doc/Logtk/Binder/ZF/index.html", "new_path": "doc/logtk/Logtk/Binder/ZF/index.html" }, { "old_path": "doc/Logtk/Statement/Seq/index.html", "new_path": "doc/logtk/Logtk/Statement/Seq/index.html" }, { "old_path": "doc/Logtk/InnerTerm/Seq/index.html", "new_path": "doc/logtk/Logtk/InnerTerm/Seq/index.html" }, { "old_path": "doc/Logtk/Index_intf/module-type-TERM_IDX/Leaf/index.html", "new_path": "doc/logtk/Logtk/Index_intf/module-type-TERM_IDX/Leaf/index.html" }, { "old_path": "doc/Logtk/TypedSTerm/ZF/index.html", "new_path": "doc/logtk/Logtk/TypedSTerm/ZF/index.html" }, { "old_path": "doc/Logtk/InnerTerm/DB/index.html", "new_path": "doc/logtk/Logtk/InnerTerm/DB/index.html" }, { "old_path": "doc/Logtk_proofs/LLProof/Tbl/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLProof/Tbl/index.html" }, { "old_path": "doc/Logtk/InnerTerm/VarTbl/index.html", "new_path": "doc/logtk/Logtk/InnerTerm/VarTbl/index.html" }, { "old_path": "doc/Logtk/Monome/Seq/index.html", "new_path": "doc/logtk/Logtk/Monome/Seq/index.html" }, { "old_path": "doc/Logtk/Term/VarTbl/index.html", "new_path": "doc/logtk/Logtk/Term/VarTbl/index.html" }, { "old_path": "doc/Logtk/Skolem/index.html", "new_path": "doc/logtk/Logtk/Skolem/index.html" }, { "old_path": "doc/Logtk/Term/Set/index.html", "new_path": "doc/logtk/Logtk/Term/Set/index.html" }, { "old_path": "doc/Logtk/Type/ZF/index.html", "new_path": "doc/logtk/Logtk/Type/ZF/index.html" }, { "old_path": "doc/Logtk/Polynomial/Make/argument-2-Indet/index.html", "new_path": "doc/logtk/Logtk/Polynomial/Make/argument-2-Indet/index.html" }, { "old_path": "doc/Logtk/Term/TPTP/index.html", "new_path": "doc/logtk/Logtk/Term/TPTP/index.html" }, { "old_path": "doc/Logtk/Index_intf/module-type-CLAUSE/index.html", "new_path": "doc/logtk/Logtk/Index_intf/module-type-CLAUSE/index.html" }, { "old_path": "doc/Logtk/Multisets/MMT/index.html", "new_path": "doc/logtk/Logtk/Multisets/MMT/index.html" }, { "old_path": "doc/Logtk/Fingerprint/Make/Leaf/index.html", "new_path": "doc/logtk/Logtk/Fingerprint/Make/Leaf/index.html" }, { "old_path": "doc/Logtk/Term/VarSet/index.html", "new_path": "doc/logtk/Logtk/Term/VarSet/index.html" }, { "old_path": "doc/Logtk/TypedSTerm/Seq/index.html", "new_path": "doc/logtk/Logtk/TypedSTerm/Seq/index.html" }, { "old_path": "doc/Logtk_proofs/LLTerm/Set/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLTerm/Set/index.html" }, { "old_path": "doc/Logtk/Literal/Seq/index.html", "new_path": "doc/logtk/Logtk/Literal/Seq/index.html" }, { "old_path": "doc/Logtk/Literals/index.html", "new_path": "doc/logtk/Logtk/Literals/index.html" }, { "old_path": "doc/Logtk/Subst/Renaming/index.html", "new_path": "doc/logtk/Logtk/Subst/Renaming/index.html" }, { "old_path": "doc/Logtk_proofs/LLTerm/Conv/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLTerm/Conv/index.html" }, { "old_path": "doc/Logtk/Rewrite/Rule/index.html", "new_path": "doc/logtk/Logtk/Rewrite/Rule/index.html" }, { "old_path": "doc/Logtk_parsers/Util_zf/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Util_zf/index.html" }, { "old_path": "doc/Logtk/Index/index.html", "new_path": "doc/logtk/Logtk/Index/index.html" }, { "old_path": "doc/Logtk_proofs/LLTerm/Linexp_int/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLTerm/Linexp_int/index.html" }, { "old_path": "doc/Logtk/Builtin/ArithOp/index.html", "new_path": "doc/logtk/Logtk/Builtin/ArithOp/index.html" }, { "old_path": "doc/Logtk/Multiset_intf/module-type-S/index.html", "new_path": "doc/logtk/Logtk/Multiset_intf/module-type-S/index.html" }, { "old_path": "doc/Logtk/STerm/ZF/index.html", "new_path": "doc/logtk/Logtk/STerm/ZF/index.html" }, { "old_path": "doc/Logtk/Type/index.html", "new_path": "doc/logtk/Logtk/Type/index.html" }, { "old_path": "doc/Logtk_proofs/LLTerm/Form/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLTerm/Form/index.html" }, { "old_path": "doc/Logtk/Interfaces/module-type-ORD/index.html", "new_path": "doc/logtk/Logtk/Interfaces/module-type-ORD/index.html" }, { "old_path": "doc/Logtk/ParseLocation/index.html", "new_path": "doc/logtk/Logtk/ParseLocation/index.html" }, { "old_path": "doc/Logtk/TypedSTerm/Form/index.html", "new_path": "doc/logtk/Logtk/TypedSTerm/Form/index.html" }, { "old_path": "doc/Logtk/Cnf/index.html", "new_path": "doc/logtk/Logtk/Cnf/index.html" }, { "old_path": "doc/Logtk/Dtree/Make/index.html", "new_path": "doc/logtk/Logtk/Dtree/Make/index.html" }, { "old_path": "doc/Logtk/Congruence/FO/index.html", "new_path": "doc/logtk/Logtk/Congruence/FO/index.html" }, { "old_path": "doc/Logtk/NPDtree/MakeTerm/index.html", "new_path": "doc/logtk/Logtk/NPDtree/MakeTerm/index.html" }, { "old_path": "doc/Logtk/Rewrite/Term/index.html", "new_path": "doc/logtk/Logtk/Rewrite/Term/index.html" }, { "old_path": "doc/Logtk/STerm/StrMap/index.html", "new_path": "doc/logtk/Logtk/STerm/StrMap/index.html" }, { "old_path": "doc/Logtk/Subst/FO/index.html", "new_path": "doc/logtk/Logtk/Subst/FO/index.html" }, { "old_path": "doc/Logtk/TypedSTerm/Set/index.html", "new_path": "doc/logtk/Logtk/TypedSTerm/Set/index.html" }, { "old_path": "doc/Logtk/AllocCache/index.html", "new_path": "doc/logtk/Logtk/AllocCache/index.html" }, { "old_path": "doc/Logtk/Builtin/Arith/index.html", "new_path": "doc/logtk/Logtk/Builtin/Arith/index.html" }, { "old_path": "doc/Logtk/Rat_lit/index.html", "new_path": "doc/logtk/Logtk/Rat_lit/index.html" }, { "old_path": "doc/Logtk/UnionFind/Make/index.html", "new_path": "doc/logtk/Logtk/UnionFind/Make/index.html" }, { "old_path": "doc/Logtk/SLiteral/index.html", "new_path": "doc/logtk/Logtk/SLiteral/index.html" }, { "old_path": "doc/Logtk/Int_lit/Seq/index.html", "new_path": "doc/logtk/Logtk/Int_lit/Seq/index.html" }, { "old_path": "doc/Logtk_parsers/Lex_dk/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/Lex_dk/index.html" }, { "old_path": "doc/Logtk/Subst/module-type-SPECIALIZED/index.html", "new_path": "doc/logtk/Logtk/Subst/module-type-SPECIALIZED/index.html" }, { "old_path": "doc/Logtk/LazyList/index.html", "new_path": "doc/logtk/Logtk/LazyList/index.html" }, { "old_path": "doc/Logtk/Term/AC/index.html", "new_path": "doc/logtk/Logtk/Term/AC/index.html" }, { "old_path": "doc/Logtk/Int_lit/Focus/index.html", "new_path": "doc/logtk/Logtk/Int_lit/Focus/index.html" }, { "old_path": "doc/Logtk/TypedSTerm/UStack/index.html", "new_path": "doc/logtk/Logtk/TypedSTerm/UStack/index.html" }, { "old_path": "doc/Logtk/TypeInference/Ctx/index.html", "new_path": "doc/logtk/Logtk/TypeInference/Ctx/index.html" }, { "old_path": "doc/Logtk/Head/index.html", "new_path": "doc/logtk/Logtk/Head/index.html" }, { "old_path": "doc/Logtk/Binder/TPTP/index.html", "new_path": "doc/logtk/Logtk/Binder/TPTP/index.html" }, { "old_path": "doc/Logtk/Index_intf/module-type-UNIT_IDX/index.html", "new_path": "doc/logtk/Logtk/Index_intf/module-type-UNIT_IDX/index.html" }, { "old_path": "doc/Logtk/Flex_state/index.html", "new_path": "doc/logtk/Logtk/Flex_state/index.html" }, { "old_path": "doc/Logtk/Builtin/ZF/index.html", "new_path": "doc/logtk/Logtk/Builtin/ZF/index.html" }, { "old_path": "doc/Logtk/Index_intf/module-type-SUBSUMPTION_IDX/index.html", "new_path": "doc/logtk/Logtk/Index_intf/module-type-SUBSUMPTION_IDX/index.html" }, { "old_path": "doc/Logtk/Rat_lit/Focus/index.html", "new_path": "doc/logtk/Logtk/Rat_lit/Focus/index.html" }, { "old_path": "doc/Logtk/HVar/index.html", "new_path": "doc/logtk/Logtk/HVar/index.html" }, { "old_path": "doc/Logtk/Hashcons/MakeNonWeak/index.html", "new_path": "doc/logtk/Logtk/Hashcons/MakeNonWeak/index.html" }, { "old_path": "doc/Logtk/Term/index.html", "new_path": "doc/logtk/Logtk/Term/index.html" }, { "old_path": "doc/Logtk/Term/Map/index.html", "new_path": "doc/logtk/Logtk/Term/Map/index.html" }, { "old_path": "doc/Logtk/Type/Tbl/index.html", "new_path": "doc/logtk/Logtk/Type/Tbl/index.html" }, { "old_path": "doc/Logtk/Literals/Pos/index.html", "new_path": "doc/logtk/Logtk/Literals/Pos/index.html" }, { "old_path": "doc/Logtk_parsers/CallProver/Eprover/index.html", "new_path": "doc/logtk.parsers/Logtk_parsers/CallProver/Eprover/index.html" }, { "old_path": "doc/Logtk/Literal/Pos/index.html", "new_path": "doc/logtk/Logtk/Literal/Pos/index.html" }, { "old_path": "doc/Logtk_proofs/LLProof_check/index.html", "new_path": "doc/logtk.proofs/Logtk_proofs/LLProof_check/index.html" }, { "old_path": "doc/Logtk/InnerTerm/VarSet/index.html", "new_path": "doc/logtk/Logtk/InnerTerm/VarSet/index.html" }, { "old_path": "doc/Logtk/NPDtree/Make/index.html", "new_path": "doc/logtk/Logtk/NPDtree/Make/index.html" }, { "old_path": "doc/Logtk/Position/Build/index.html", "new_path": "doc/logtk/Logtk/Position/Build/index.html" }, { "old_path": "doc/Logtk/Index/BasicEquation/index.html", "new_path": "doc/logtk/Logtk/Index/BasicEquation/index.html" }, { "old_path": "doc/Logtk/Monome/Int/Modulo/index.html", "new_path": "doc/logtk/Logtk/Monome/Int/Modulo/index.html" }, { "old_path": "doc/Logtk/Term/Arith/index.html", "new_path": "doc/logtk/Logtk/Term/Arith/index.html" }, { "old_path": "doc/Logtk/Interfaces/module-type-PRINT3/index.html", "new_path": "doc/logtk/Logtk/Interfaces/module-type-PRINT3/index.html" }, { "old_path": "doc/Logtk/Position/With/index.html", "new_path": "doc/logtk/Logtk/Position/With/index.html" }, { "old_path": "doc/Logtk/HO_unif/index.html", "new_path": "doc/logtk/Logtk/HO_unif/index.html" }, { "old_path": "doc/Logtk/Output_format/index.html", "new_path": "doc/logtk/Logtk/Output_format/index.html" } ] }