{ "name": "dolmen", "version": "0.6", "files": [ "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/Parser/Incremental/index.html", "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/Parser/MenhirInterpreter/index.html", "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/Parser/index.html", "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/Lexer/index.html", "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/argument-4-S/index.html", "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/argument-3-T/index.html", "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/argument-2-I/index.html", "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/argument-1-L/index.html", "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/index.html", "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/module-type-Statement/index.html", "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/module-type-Term/index.html", "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/module-type-Id/index.html", "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/index.html", "doc/dolmen_smtlib2_poly/index.html", "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/Parser/Incremental/index.html", "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/Parser/MenhirInterpreter/index.html", "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/Parser/index.html", "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/Lexer/index.html", "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/argument-4-S/index.html", "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/argument-3-T/index.html", "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/argument-2-I/index.html", "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/argument-1-L/index.html", "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/index.html", "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/module-type-Statement/index.html", "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/module-type-Term/index.html", "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/module-type-Id/index.html", "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/index.html", "doc/dolmen_smtlib2_v6/index.html", "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/Parser/Incremental/index.html", "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/Parser/MenhirInterpreter/index.html", "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/Parser/index.html", "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/Lexer/index.html", "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/argument-4-S/index.html", "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/argument-3-T/index.html", "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/argument-2-I/index.html", "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/argument-1-L/index.html", "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/index.html", "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/module-type-Statement/index.html", "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/module-type-Term/index.html", "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/module-type-Id/index.html", "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/index.html", "doc/dolmen_tptp_v6_3_0/index.html", "doc/dolmen.zf/Dolmen_zf/Make/Parser/Incremental/index.html", "doc/dolmen.zf/Dolmen_zf/Make/Parser/MenhirInterpreter/index.html", "doc/dolmen.zf/Dolmen_zf/Make/Parser/index.html", "doc/dolmen.zf/Dolmen_zf/Make/Lexer/index.html", "doc/dolmen.zf/Dolmen_zf/Make/argument-4-S/index.html", "doc/dolmen.zf/Dolmen_zf/Make/argument-3-T/index.html", "doc/dolmen.zf/Dolmen_zf/Make/argument-2-I/index.html", "doc/dolmen.zf/Dolmen_zf/Make/argument-1-L/index.html", "doc/dolmen.zf/Dolmen_zf/Make/index.html", "doc/dolmen.zf/Dolmen_zf/module-type-Statement/index.html", "doc/dolmen.zf/Dolmen_zf/module-type-Term/index.html", "doc/dolmen.zf/Dolmen_zf/module-type-Id/index.html", "doc/dolmen.zf/Dolmen_zf/index.html", "doc/dolmen.zf/index.html", "doc/dolmen.tptp/Dolmen_tptp/index.html", "doc/dolmen.tptp/index.html", "doc/dolmen.std/Dolmen_std/Vec/index.html", "doc/dolmen.std/Dolmen_std/Transformer/Make/argument-4-Parse/Incremental/index.html", "doc/dolmen.std/Dolmen_std/Transformer/Make/argument-4-Parse/MenhirInterpreter/index.html", "doc/dolmen.std/Dolmen_std/Transformer/Make/argument-4-Parse/index.html", "doc/dolmen.std/Dolmen_std/Transformer/Make/argument-3-Lex/index.html", "doc/dolmen.std/Dolmen_std/Transformer/Make/argument-2-Ty/index.html", "doc/dolmen.std/Dolmen_std/Transformer/Make/argument-1-Loc/index.html", "doc/dolmen.std/Dolmen_std/Transformer/Make/index.html", "doc/dolmen.std/Dolmen_std/Transformer/index.html", "doc/dolmen.std/Dolmen_std/Tok/index.html", "doc/dolmen.std/Dolmen_std/Term/index.html", "doc/dolmen.std/Dolmen_std/Tag/index.html", "doc/dolmen.std/Dolmen_std/Statement/index.html", "doc/dolmen.std/Dolmen_std/Pretty/index.html", "doc/dolmen.std/Dolmen_std/Normalize/Smtlib/index.html", "doc/dolmen.std/Dolmen_std/Normalize/Tptp/index.html", "doc/dolmen.std/Dolmen_std/Normalize/index.html", "doc/dolmen.std/Dolmen_std/Msg/index.html", "doc/dolmen.std/Dolmen_std/Misc/index.html", "doc/dolmen.std/Dolmen_std/Loc/index.html", "doc/dolmen.std/Dolmen_std/Id/index.html", "doc/dolmen.std/Dolmen_std/Expr/Term/String/RegLan/index.html", "doc/dolmen.std/Dolmen_std/Expr/Term/String/index.html", "doc/dolmen.std/Dolmen_std/Expr/Term/Real/index.html", "doc/dolmen.std/Dolmen_std/Expr/Term/Rat/index.html", "doc/dolmen.std/Dolmen_std/Expr/Term/Int/index.html", "doc/dolmen.std/Dolmen_std/Expr/Term/Float/index.html", "doc/dolmen.std/Dolmen_std/Expr/Term/Bitv/index.html", "doc/dolmen.std/Dolmen_std/Expr/Term/Field/index.html", "doc/dolmen.std/Dolmen_std/Expr/Term/Cstr/index.html", "doc/dolmen.std/Dolmen_std/Expr/Term/Const/index.html", "doc/dolmen.std/Dolmen_std/Expr/Term/Var/index.html", "doc/dolmen.std/Dolmen_std/Expr/Term/index.html", "doc/dolmen.std/Dolmen_std/Expr/Ty/Const/index.html", "doc/dolmen.std/Dolmen_std/Expr/Ty/Var/index.html", "doc/dolmen.std/Dolmen_std/Expr/Ty/index.html", "doc/dolmen.std/Dolmen_std/Expr/Id/index.html", "doc/dolmen.std/Dolmen_std/Expr/Subst/Var/index.html", "doc/dolmen.std/Dolmen_std/Expr/Subst/module-type-S/index.html", "doc/dolmen.std/Dolmen_std/Expr/Subst/index.html", "doc/dolmen.std/Dolmen_std/Expr/Print/index.html", "doc/dolmen.std/Dolmen_std/Expr/Tags/index.html", "doc/dolmen.std/Dolmen_std/Expr/index.html", "doc/dolmen.std/Dolmen_std/Escape/Make/argument-1-Id/index.html", "doc/dolmen.std/Dolmen_std/Escape/Make/index.html", "doc/dolmen.std/Dolmen_std/Escape/index.html", "doc/dolmen.std/Dolmen_std/Builtin/index.html", "doc/dolmen.std/Dolmen_std/index.html", "doc/dolmen.std/index.html", "doc/dolmen.smtlib2/Dolmen_smtlib2/index.html", "doc/dolmen.smtlib2/index.html", "doc/dolmen.line/Dolmen_line/index.html", "doc/dolmen.line/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Zf_Arith/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Zf_Base/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_String/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_Float/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_Bitv/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_Array/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_Real_Int/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_Real/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_Int/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_Base/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Tptp_Arith/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Tptp_Base/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Ae_Arith/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Ae_Base/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Thf/Const/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Thf/Var/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Thf/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Tff/Const/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Tff/Var/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Tff/index.html", "doc/dolmen.intf/Dolmen_intf/Ty/index.html", "doc/dolmen.intf/Dolmen_intf/Tok/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Zf_Arith/Int/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Zf_Arith/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Zf_Base/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_String/String/RegLan/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_String/String/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_String/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_String_String/RegLan/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_String_String/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_String_RegLan/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Float/Float/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Float/Bitv/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Float/Real/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Float/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Float_Float/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Float_Real/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Float_Bitv/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Bitv/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Array/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Real_Int/Real/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Real_Int/Int/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Real_Int/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Real/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Int/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Arith_Common/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Base/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Tff_Arith/Real/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Tff_Arith/Rat/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Tff_Arith/Int/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Tff_Arith/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Tff_Arith_Common/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Thf_Core/Const/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Thf_Core/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Thf_Core_Const/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Tff_Core/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Ae_Arith/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Ae_Base/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Dimacs/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Thf/Field/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Thf/Cstr/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Thf/Const/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Thf/Var/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Thf/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tff/Field/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tff/Cstr/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tff/Const/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tff/Var/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tff/index.html", "doc/dolmen.intf/Dolmen_intf/Term/module-type-Logic/index.html", "doc/dolmen.intf/Dolmen_intf/Term/index.html", "doc/dolmen.intf/Dolmen_intf/Tag/module-type-Zf_Base/index.html", "doc/dolmen.intf/Dolmen_intf/Tag/module-type-Smtlib_Base/index.html", "doc/dolmen.intf/Dolmen_intf/Tag/module-type-S/index.html", "doc/dolmen.intf/Dolmen_intf/Tag/index.html", "doc/dolmen.intf/Dolmen_intf/Stmt/module-type-Logic/index.html", "doc/dolmen.intf/Dolmen_intf/Stmt/index.html", "doc/dolmen.intf/Dolmen_intf/Parse/module-type-S/Incremental/index.html", "doc/dolmen.intf/Dolmen_intf/Parse/module-type-S/MenhirInterpreter/index.html", "doc/dolmen.intf/Dolmen_intf/Parse/module-type-S/index.html", "doc/dolmen.intf/Dolmen_intf/Parse/index.html", "doc/dolmen.intf/Dolmen_intf/Msg/index.html", "doc/dolmen.intf/Dolmen_intf/Location/module-type-S/index.html", "doc/dolmen.intf/Dolmen_intf/Location/index.html", "doc/dolmen.intf/Dolmen_intf/Lex/module-type-S/index.html", "doc/dolmen.intf/Dolmen_intf/Lex/index.html", "doc/dolmen.intf/Dolmen_intf/Language/module-type-S/Parser/Incremental/index.html", "doc/dolmen.intf/Dolmen_intf/Language/module-type-S/Parser/MenhirInterpreter/index.html", "doc/dolmen.intf/Dolmen_intf/Language/module-type-S/Parser/index.html", "doc/dolmen.intf/Dolmen_intf/Language/module-type-S/Lexer/index.html", "doc/dolmen.intf/Dolmen_intf/Language/module-type-S/index.html", "doc/dolmen.intf/Dolmen_intf/Language/index.html", "doc/dolmen.intf/Dolmen_intf/Id/module-type-Escape/index.html", "doc/dolmen.intf/Dolmen_intf/Id/module-type-Logic/index.html", "doc/dolmen.intf/Dolmen_intf/Id/index.html", "doc/dolmen.intf/Dolmen_intf/index.html", "doc/dolmen.intf/index.html", "doc/dolmen.icnf/Dolmen_icnf/Make/Parser/Incremental/index.html", "doc/dolmen.icnf/Dolmen_icnf/Make/Parser/MenhirInterpreter/index.html", "doc/dolmen.icnf/Dolmen_icnf/Make/Parser/index.html", "doc/dolmen.icnf/Dolmen_icnf/Make/Lexer/index.html", "doc/dolmen.icnf/Dolmen_icnf/Make/argument-3-S/index.html", "doc/dolmen.icnf/Dolmen_icnf/Make/argument-2-T/index.html", "doc/dolmen.icnf/Dolmen_icnf/Make/argument-1-L/index.html", "doc/dolmen.icnf/Dolmen_icnf/Make/index.html", "doc/dolmen.icnf/Dolmen_icnf/module-type-Statement/index.html", "doc/dolmen.icnf/Dolmen_icnf/module-type-Term/index.html", "doc/dolmen.icnf/Dolmen_icnf/index.html", "doc/dolmen.icnf/index.html", "doc/dolmen.dimacs/Dolmen_dimacs/Make/Parser/Incremental/index.html", "doc/dolmen.dimacs/Dolmen_dimacs/Make/Parser/MenhirInterpreter/index.html", "doc/dolmen.dimacs/Dolmen_dimacs/Make/Parser/index.html", "doc/dolmen.dimacs/Dolmen_dimacs/Make/Lexer/index.html", "doc/dolmen.dimacs/Dolmen_dimacs/Make/argument-3-S/index.html", "doc/dolmen.dimacs/Dolmen_dimacs/Make/argument-2-T/index.html", "doc/dolmen.dimacs/Dolmen_dimacs/Make/argument-1-L/index.html", "doc/dolmen.dimacs/Dolmen_dimacs/Make/index.html", "doc/dolmen.dimacs/Dolmen_dimacs/module-type-Statement/index.html", "doc/dolmen.dimacs/Dolmen_dimacs/module-type-Term/index.html", "doc/dolmen.dimacs/Dolmen_dimacs/index.html", "doc/dolmen.dimacs/index.html", "doc/dolmen.class/Dolmen_class/Logic/Make/module-type-S/Parser/Incremental/index.html", "doc/dolmen.class/Dolmen_class/Logic/Make/module-type-S/Parser/MenhirInterpreter/index.html", "doc/dolmen.class/Dolmen_class/Logic/Make/module-type-S/Parser/index.html", "doc/dolmen.class/Dolmen_class/Logic/Make/module-type-S/Lexer/index.html", "doc/dolmen.class/Dolmen_class/Logic/Make/module-type-S/index.html", "doc/dolmen.class/Dolmen_class/Logic/Make/argument-4-S/index.html", "doc/dolmen.class/Dolmen_class/Logic/Make/argument-3-T/index.html", "doc/dolmen.class/Dolmen_class/Logic/Make/argument-2-I/index.html", "doc/dolmen.class/Dolmen_class/Logic/Make/argument-1-L/index.html", "doc/dolmen.class/Dolmen_class/Logic/Make/index.html", "doc/dolmen.class/Dolmen_class/Logic/module-type-S/module-type-S/Parser/Incremental/index.html", "doc/dolmen.class/Dolmen_class/Logic/module-type-S/module-type-S/Parser/MenhirInterpreter/index.html", "doc/dolmen.class/Dolmen_class/Logic/module-type-S/module-type-S/Parser/index.html", "doc/dolmen.class/Dolmen_class/Logic/module-type-S/module-type-S/Lexer/index.html", "doc/dolmen.class/Dolmen_class/Logic/module-type-S/module-type-S/index.html", "doc/dolmen.class/Dolmen_class/Logic/module-type-S/index.html", "doc/dolmen.class/Dolmen_class/Logic/index.html", "doc/dolmen.class/Dolmen_class/index.html", "doc/dolmen.class/index.html", "doc/dolmen.ae/Dolmen_ae/Make/Parser/Incremental/index.html", "doc/dolmen.ae/Dolmen_ae/Make/Parser/MenhirInterpreter/index.html", "doc/dolmen.ae/Dolmen_ae/Make/Parser/index.html", "doc/dolmen.ae/Dolmen_ae/Make/Lexer/index.html", "doc/dolmen.ae/Dolmen_ae/Make/argument-4-S/index.html", "doc/dolmen.ae/Dolmen_ae/Make/argument-3-T/index.html", "doc/dolmen.ae/Dolmen_ae/Make/argument-2-I/index.html", "doc/dolmen.ae/Dolmen_ae/Make/argument-1-L/index.html", "doc/dolmen.ae/Dolmen_ae/Make/index.html", "doc/dolmen.ae/Dolmen_ae/module-type-Statement/index.html", "doc/dolmen.ae/Dolmen_ae/module-type-Term/index.html", "doc/dolmen.ae/Dolmen_ae/module-type-Id/index.html", "doc/dolmen.ae/Dolmen_ae/index.html", "doc/dolmen.ae/index.html", "doc/dolmen/Dolmen/index.html", "doc/dolmen/index.html", "doc/src/dolmen_smtlib2_poly/dolmen_smtlib2_poly__.ml.html", "doc/src/dolmen_smtlib2_poly/dolmen_smtlib2_poly.ml.html", "doc/src/dolmen_smtlib2_poly/ast.ml.html", "doc/src/dolmen_smtlib2_poly/tokens.ml.html", "doc/src/dolmen_smtlib2_poly/lexer.ml.html", "doc/src/dolmen_smtlib2_poly/syntax_messages.ml.html", "doc/src/dolmen_smtlib2_poly/parser.ml.html", "doc/src/dolmen_smtlib2_v6/dolmen_smtlib2_v6__.ml.html", "doc/src/dolmen_smtlib2_v6/dolmen_smtlib2_v6.ml.html", "doc/src/dolmen_smtlib2_v6/ast.ml.html", "doc/src/dolmen_smtlib2_v6/tokens.ml.html", "doc/src/dolmen_smtlib2_v6/syntax_messages.ml.html", "doc/src/dolmen_smtlib2_v6/lexer.ml.html", "doc/src/dolmen_smtlib2_v6/parser.ml.html", "doc/src/dolmen_tptp_v6_3_0/dolmen_tptp_v6_3_0.ml.html", "doc/src/dolmen_tptp_v6_3_0/dolmen_tptp_v6_3_0__.ml.html", "doc/src/dolmen_tptp_v6_3_0/ast.ml.html", "doc/src/dolmen_tptp_v6_3_0/tokens.ml.html", "doc/src/dolmen_tptp_v6_3_0/lexer.ml.html", "doc/src/dolmen_tptp_v6_3_0/syntax_messages.ml.html", "doc/src/dolmen_tptp_v6_3_0/parser.ml.html", "doc/src/dolmen.tptp/dolmen_tptp.ml.html", "doc/src/dolmen.zf/dolmen_zf.ml.html", "doc/src/dolmen.zf/dolmen_zf__.ml.html", "doc/src/dolmen.zf/ast.ml.html", "doc/src/dolmen.zf/tokens.ml.html", "doc/src/dolmen.zf/syntax_messages.ml.html", "doc/src/dolmen.zf/lexer.ml.html", "doc/src/dolmen.zf/parser.ml.html", "doc/src/dolmen.std/builtin.ml.html", "doc/src/dolmen.std/dolmen_std.ml.html", "doc/src/dolmen.std/msg.ml.html", "doc/src/dolmen.std/misc.ml.html", "doc/src/dolmen.std/loc.ml.html", "doc/src/dolmen.std/id.ml.html", "doc/src/dolmen.std/escape.ml.html", "doc/src/dolmen.std/pretty.ml.html", "doc/src/dolmen.std/normalize.ml.html", "doc/src/dolmen.std/tok.ml.html", "doc/src/dolmen.std/tag.ml.html", "doc/src/dolmen.std/vec.ml.html", "doc/src/dolmen.std/transformer.ml.html", "doc/src/dolmen.std/statement.ml.html", "doc/src/dolmen.std/term.ml.html", "doc/src/dolmen.std/expr.ml.html", "doc/src/dolmen.smtlib2/dolmen_smtlib2.ml.html", "doc/src/dolmen.line/dolmen_line.ml.html", "doc/src/dolmen.line/dolmen_line__.ml.html", "doc/src/dolmen.line/lexLine.ml.html", "doc/src/dolmen.intf/dolmen_intf.ml.html", "doc/src/dolmen.intf/id.ml.html", "doc/src/dolmen.intf/language.ml.html", "doc/src/dolmen.intf/lex.ml.html", "doc/src/dolmen.intf/msg.ml.html", "doc/src/dolmen.intf/location.ml.html", "doc/src/dolmen.intf/parse.ml.html", "doc/src/dolmen.intf/tag.ml.html", "doc/src/dolmen.intf/stmt.ml.html", "doc/src/dolmen.intf/tok.ml.html", "doc/src/dolmen.intf/ty.ml.html", "doc/src/dolmen.intf/term.ml.html", "doc/src/dolmen.icnf/dolmen_icnf.ml.html", "doc/src/dolmen.icnf/dolmen_icnf__.ml.html", "doc/src/dolmen.icnf/ast.ml.html", "doc/src/dolmen.icnf/tokens.ml.html", "doc/src/dolmen.icnf/syntax_messages.ml.html", "doc/src/dolmen.icnf/lexer.ml.html", "doc/src/dolmen.icnf/parser.ml.html", "doc/src/dolmen.dimacs/dolmen_dimacs.ml.html", "doc/src/dolmen.dimacs/dolmen_dimacs__.ml.html", "doc/src/dolmen.dimacs/syntax_messages.ml.html", "doc/src/dolmen.dimacs/ast.ml.html", "doc/src/dolmen.dimacs/lexer.ml.html", "doc/src/dolmen.dimacs/tokens.ml.html", "doc/src/dolmen.dimacs/parser.ml.html", "doc/src/dolmen.class/dolmen_class.ml.html", "doc/src/dolmen.class/logic.ml.html", "doc/src/dolmen.ae/dolmen_ae.ml.html", "doc/src/dolmen.ae/dolmen_ae__.ml.html", "doc/src/dolmen.ae/ast.ml.html", "doc/src/dolmen.ae/lexer.ml.html", "doc/src/dolmen.ae/tokens.ml.html", "doc/src/dolmen.ae/syntax_messages.ml.html", "doc/src/dolmen.ae/parser.ml.html", "doc/src/dolmen/dolmen.ml.html", "doc/src/index.html", "doc/index.html", "doc/README.html", "doc/CHANGES.html" ], "failed": false, "redirections": [ { "old_path": "doc/Dolmen_intf/Language/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Language/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Term/String/RegLan/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Term/String/RegLan/index.html" }, { "old_path": "doc/Dolmen_std/Transformer/Make/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Transformer/Make/index.html" }, { "old_path": "doc/Dolmen_intf/Language/module-type-S/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Language/module-type-S/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Tptp_Base/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Tptp_Base/index.html" }, { "old_path": "doc/Dolmen_smtlib2/index.html", "new_path": "doc/dolmen.smtlib2/Dolmen_smtlib2/index.html" }, { "old_path": "doc/Dolmen_smtlib2_v6/Make/Parser/index.html", "new_path": "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/Parser/index.html" }, { "old_path": "doc/Dolmen_ae/index.html", "new_path": "doc/dolmen.ae/Dolmen_ae/index.html" }, { "old_path": "doc/Dolmen_class/Logic/Make/argument-4-S/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/Make/argument-4-S/index.html" }, { "old_path": "doc/Dolmen_smtlib2_v6/Make/argument-1-L/index.html", "new_path": "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/argument-1-L/index.html" }, { "old_path": "doc/Dolmen_ae/module-type-Term/index.html", "new_path": "doc/dolmen.ae/Dolmen_ae/module-type-Term/index.html" }, { "old_path": "doc/Dolmen_intf/Lex/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Lex/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Float/Float/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Float/Float/index.html" }, { "old_path": "doc/Dolmen_std/Escape/Make/argument-1-Id/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Escape/Make/argument-1-Id/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Float/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Float/index.html" }, { "old_path": "doc/Dolmen_tptp_v6_3_0/index.html", "new_path": "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/index.html" }, { "old_path": "doc/Dolmen_tptp_v6_3_0/Make/index.html", "new_path": "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/index.html" }, { "old_path": "doc/Dolmen_smtlib2_v6/Make/index.html", "new_path": "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Ae_Base/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Ae_Base/index.html" }, { "old_path": "doc/Dolmen_std/Misc/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Misc/index.html" }, { "old_path": "doc/Dolmen_smtlib2_poly/Make/argument-1-L/index.html", "new_path": "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/argument-1-L/index.html" }, { "old_path": "doc/Dolmen_intf/Id/module-type-Logic/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Id/module-type-Logic/index.html" }, { "old_path": "doc/Dolmen_intf/Language/module-type-S/Parser/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Language/module-type-S/Parser/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Arith_Common/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Arith_Common/index.html" }, { "old_path": "doc/Dolmen_tptp_v6_3_0/Make/Parser/index.html", "new_path": "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/Parser/index.html" }, { "old_path": "doc/Dolmen_icnf/index.html", "new_path": "doc/dolmen.icnf/Dolmen_icnf/index.html" }, { "old_path": "doc/Dolmen_intf/Parse/module-type-S/Incremental/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Parse/module-type-S/Incremental/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Term/Field/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Term/Field/index.html" }, { "old_path": "doc/Dolmen_std/Transformer/Make/argument-1-Loc/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Transformer/Make/argument-1-Loc/index.html" }, { "old_path": "doc/Dolmen_smtlib2_poly/Make/argument-3-T/index.html", "new_path": "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/argument-3-T/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Float/Real/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Float/Real/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Tff/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Tff/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_String_String/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_String_String/index.html" }, { "old_path": "doc/Dolmen_zf/Make/argument-1-L/index.html", "new_path": "doc/dolmen.zf/Dolmen_zf/Make/argument-1-L/index.html" }, { "old_path": "doc/Dolmen_tptp_v6_3_0/Make/argument-4-S/index.html", "new_path": "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/argument-4-S/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_String/String/RegLan/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_String/String/RegLan/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Id/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Id/index.html" }, { "old_path": "doc/Dolmen_class/Logic/Make/argument-1-L/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/Make/argument-1-L/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Tptp_Tff_Arith/Rat/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Tff_Arith/Rat/index.html" }, { "old_path": "doc/Dolmen_std/Transformer/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Transformer/index.html" }, { "old_path": "doc/Dolmen_smtlib2_poly/Make/Lexer/index.html", "new_path": "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/Lexer/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Tff/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tff/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Term/Rat/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Term/Rat/index.html" }, { "old_path": "doc/Dolmen_std/Statement/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Statement/index.html" }, { "old_path": "doc/Dolmen_smtlib2_v6/module-type-Id/index.html", "new_path": "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/module-type-Id/index.html" }, { "old_path": "doc/Dolmen_dimacs/index.html", "new_path": "doc/dolmen.dimacs/Dolmen_dimacs/index.html" }, { "old_path": "doc/Dolmen_intf/Stmt/module-type-Logic/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Stmt/module-type-Logic/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Subst/Var/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Subst/Var/index.html" }, { "old_path": "doc/Dolmen_dimacs/Make/Parser/index.html", "new_path": "doc/dolmen.dimacs/Dolmen_dimacs/Make/Parser/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Thf/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Thf/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Tff/Cstr/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tff/Cstr/index.html" }, { "old_path": "doc/Dolmen_zf/Make/index.html", "new_path": "doc/dolmen.zf/Dolmen_zf/Make/index.html" }, { "old_path": "doc/Dolmen_class/Logic/module-type-S/module-type-S/Parser/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/module-type-S/module-type-S/Parser/index.html" }, { "old_path": "doc/Dolmen_dimacs/module-type-Statement/index.html", "new_path": "doc/dolmen.dimacs/Dolmen_dimacs/module-type-Statement/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Tff/Const/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tff/Const/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Thf/Var/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Thf/Var/index.html" }, { "old_path": "doc/Dolmen_class/Logic/Make/module-type-S/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/Make/module-type-S/index.html" }, { "old_path": "doc/Dolmen_intf/Id/module-type-Escape/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Id/module-type-Escape/index.html" }, { "old_path": "doc/Dolmen_intf/Msg/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Msg/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Tptp_Thf_Core/Const/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Thf_Core/Const/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Term/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Term/index.html" }, { "old_path": "doc/Dolmen_std/Pretty/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Pretty/index.html" }, { "old_path": "doc/Dolmen_smtlib2_poly/module-type-Statement/index.html", "new_path": "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/module-type-Statement/index.html" }, { "old_path": "doc/Dolmen_ae/Make/Parser/index.html", "new_path": "doc/dolmen.ae/Dolmen_ae/Make/Parser/index.html" }, { "old_path": "doc/Dolmen_intf/Language/module-type-S/Parser/MenhirInterpreter/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Language/module-type-S/Parser/MenhirInterpreter/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Tptp_Arith/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Tptp_Arith/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Ae_Base/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Ae_Base/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Ty/Var/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Ty/Var/index.html" }, { "old_path": "doc/Dolmen_intf/Location/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Location/index.html" }, { "old_path": "doc/Dolmen_icnf/Make/argument-2-T/index.html", "new_path": "doc/dolmen.icnf/Dolmen_icnf/Make/argument-2-T/index.html" }, { "old_path": "doc/Dolmen_std/Normalize/Tptp/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Normalize/Tptp/index.html" }, { "old_path": "doc/Dolmen_std/Transformer/Make/argument-3-Lex/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Transformer/Make/argument-3-Lex/index.html" }, { "old_path": "doc/Dolmen_tptp_v6_3_0/module-type-Statement/index.html", "new_path": "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/module-type-Statement/index.html" }, { "old_path": "doc/Dolmen_ae/Make/argument-3-T/index.html", "new_path": "doc/dolmen.ae/Dolmen_ae/Make/argument-3-T/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Term/Bitv/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Term/Bitv/index.html" }, { "old_path": "doc/Dolmen_class/Logic/Make/module-type-S/Lexer/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/Make/module-type-S/Lexer/index.html" }, { "old_path": "doc/Dolmen_tptp_v6_3_0/Make/argument-1-L/index.html", "new_path": "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/argument-1-L/index.html" }, { "old_path": "doc/Dolmen_smtlib2_poly/Make/Parser/Incremental/index.html", "new_path": "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/Parser/Incremental/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Int/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Int/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Tptp_Tff_Arith_Common/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Tff_Arith_Common/index.html" }, { "old_path": "doc/Dolmen_class/Logic/Make/module-type-S/Parser/Incremental/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/Make/module-type-S/Parser/Incremental/index.html" }, { "old_path": "doc/Dolmen_std/Transformer/Make/argument-2-Ty/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Transformer/Make/argument-2-Ty/index.html" }, { "old_path": "doc/Dolmen_ae/module-type-Id/index.html", "new_path": "doc/dolmen.ae/Dolmen_ae/module-type-Id/index.html" }, { "old_path": "doc/Dolmen_icnf/Make/Parser/MenhirInterpreter/index.html", "new_path": "doc/dolmen.icnf/Dolmen_icnf/Make/Parser/MenhirInterpreter/index.html" }, { "old_path": "doc/Dolmen_intf/Stmt/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Stmt/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Term/Int/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Term/Int/index.html" }, { "old_path": "doc/Dolmen_icnf/module-type-Term/index.html", "new_path": "doc/dolmen.icnf/Dolmen_icnf/module-type-Term/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Tptp_Thf_Core_Const/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Thf_Core_Const/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Smtlib_Float/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_Float/index.html" }, { "old_path": "doc/Dolmen_line/index.html", "new_path": "doc/dolmen.line/Dolmen_line/index.html" }, { "old_path": "doc/Dolmen_std/Term/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Term/index.html" }, { "old_path": "doc/Dolmen_smtlib2_poly/Make/Parser/MenhirInterpreter/index.html", "new_path": "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/Parser/MenhirInterpreter/index.html" }, { "old_path": "doc/Dolmen_zf/Make/argument-2-I/index.html", "new_path": "doc/dolmen.zf/Dolmen_zf/Make/argument-2-I/index.html" }, { "old_path": "doc/Dolmen_class/Logic/module-type-S/module-type-S/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/module-type-S/module-type-S/index.html" }, { "old_path": "doc/Dolmen_icnf/module-type-Statement/index.html", "new_path": "doc/dolmen.icnf/Dolmen_icnf/module-type-Statement/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Real_Int/Int/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Real_Int/Int/index.html" }, { "old_path": "doc/Dolmen/index.html", "new_path": "doc/dolmen/Dolmen/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Zf_Base/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Zf_Base/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Zf_Base/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Zf_Base/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Tptp_Tff_Arith/Real/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Tff_Arith/Real/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Thf/Const/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Thf/Const/index.html" }, { "old_path": "doc/Dolmen_ae/Make/Lexer/index.html", "new_path": "doc/dolmen.ae/Dolmen_ae/Make/Lexer/index.html" }, { "old_path": "doc/Dolmen_smtlib2_v6/index.html", "new_path": "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/index.html" }, { "old_path": "doc/Dolmen_class/index.html", "new_path": "doc/dolmen.class/Dolmen_class/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Array/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Array/index.html" }, { "old_path": "doc/Dolmen_zf/Make/argument-3-T/index.html", "new_path": "doc/dolmen.zf/Dolmen_zf/Make/argument-3-T/index.html" }, { "old_path": "doc/Dolmen_class/Logic/Make/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/Make/index.html" }, { "old_path": "doc/Dolmen_smtlib2_v6/Make/argument-4-S/index.html", "new_path": "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/argument-4-S/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Tff/Field/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tff/Field/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/index.html" }, { "old_path": "doc/Dolmen_std/Msg/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Msg/index.html" }, { "old_path": "doc/Dolmen_tptp/index.html", "new_path": "doc/dolmen.tptp/Dolmen_tptp/index.html" }, { "old_path": "doc/Dolmen_smtlib2_poly/module-type-Term/index.html", "new_path": "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/module-type-Term/index.html" }, { "old_path": "doc/Dolmen_std/Escape/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Escape/index.html" }, { "old_path": "doc/Dolmen_intf/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/index.html" }, { "old_path": "doc/Dolmen_intf/Language/module-type-S/Parser/Incremental/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Language/module-type-S/Parser/Incremental/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Logic/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Logic/index.html" }, { "old_path": "doc/Dolmen_class/Logic/module-type-S/module-type-S/Parser/Incremental/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/module-type-S/module-type-S/Parser/Incremental/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Tptp_Tff_Core/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Tff_Core/index.html" }, { "old_path": "doc/Dolmen_std/Transformer/Make/argument-4-Parse/Incremental/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Transformer/Make/argument-4-Parse/Incremental/index.html" }, { "old_path": "doc/Dolmen_intf/Tag/module-type-S/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Tag/module-type-S/index.html" }, { "old_path": "doc/Dolmen_dimacs/Make/argument-3-S/index.html", "new_path": "doc/dolmen.dimacs/Dolmen_dimacs/Make/argument-3-S/index.html" }, { "old_path": "doc/Dolmen_intf/Tag/module-type-Zf_Base/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Tag/module-type-Zf_Base/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Subst/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Subst/index.html" }, { "old_path": "doc/Dolmen_zf/index.html", "new_path": "doc/dolmen.zf/Dolmen_zf/index.html" }, { "old_path": "doc/Dolmen_ae/module-type-Statement/index.html", "new_path": "doc/dolmen.ae/Dolmen_ae/module-type-Statement/index.html" }, { "old_path": "doc/Dolmen_smtlib2_v6/module-type-Term/index.html", "new_path": "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/module-type-Term/index.html" }, { "old_path": "doc/Dolmen_icnf/Make/index.html", "new_path": "doc/dolmen.icnf/Dolmen_icnf/Make/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Smtlib_Array/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_Array/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Zf_Arith/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Zf_Arith/index.html" }, { "old_path": "doc/Dolmen_tptp_v6_3_0/Make/Lexer/index.html", "new_path": "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/Lexer/index.html" }, { "old_path": "doc/Dolmen_std/Escape/Make/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Escape/Make/index.html" }, { "old_path": "doc/Dolmen_smtlib2_v6/Make/Lexer/index.html", "new_path": "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/Lexer/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Thf/Cstr/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Thf/Cstr/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Float_Real/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Float_Real/index.html" }, { "old_path": "doc/Dolmen_std/Tok/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Tok/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Thf/Var/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Thf/Var/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Tff/Var/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Tff/Var/index.html" }, { "old_path": "doc/Dolmen_zf/Make/Parser/MenhirInterpreter/index.html", "new_path": "doc/dolmen.zf/Dolmen_zf/Make/Parser/MenhirInterpreter/index.html" }, { "old_path": "doc/Dolmen_smtlib2_v6/Make/argument-2-I/index.html", "new_path": "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/argument-2-I/index.html" }, { "old_path": "doc/Dolmen_ae/Make/Parser/Incremental/index.html", "new_path": "doc/dolmen.ae/Dolmen_ae/Make/Parser/Incremental/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Float_Bitv/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Float_Bitv/index.html" }, { "old_path": "doc/Dolmen_std/Normalize/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Normalize/index.html" }, { "old_path": "doc/Dolmen_ae/Make/argument-4-S/index.html", "new_path": "doc/dolmen.ae/Dolmen_ae/Make/argument-4-S/index.html" }, { "old_path": "doc/Dolmen_zf/Make/argument-4-S/index.html", "new_path": "doc/dolmen.zf/Dolmen_zf/Make/argument-4-S/index.html" }, { "old_path": "doc/Dolmen_class/Logic/Make/module-type-S/Parser/MenhirInterpreter/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/Make/module-type-S/Parser/MenhirInterpreter/index.html" }, { "old_path": "doc/Dolmen_dimacs/module-type-Term/index.html", "new_path": "doc/dolmen.dimacs/Dolmen_dimacs/module-type-Term/index.html" }, { "old_path": "doc/Dolmen_intf/Lex/module-type-S/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Lex/module-type-S/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Thf/Field/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Thf/Field/index.html" }, { "old_path": "doc/Dolmen_intf/Parse/module-type-S/MenhirInterpreter/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Parse/module-type-S/MenhirInterpreter/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Zf_Arith/Int/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Zf_Arith/Int/index.html" }, { "old_path": "doc/Dolmen_tptp_v6_3_0/module-type-Term/index.html", "new_path": "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/module-type-Term/index.html" }, { "old_path": "doc/Dolmen_tptp_v6_3_0/Make/Parser/Incremental/index.html", "new_path": "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/Parser/Incremental/index.html" }, { "old_path": "doc/Dolmen_smtlib2_poly/index.html", "new_path": "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Bitv/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Bitv/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Smtlib_Real/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_Real/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Subst/module-type-S/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Subst/module-type-S/index.html" }, { "old_path": "doc/Dolmen_std/Transformer/Make/argument-4-Parse/MenhirInterpreter/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Transformer/Make/argument-4-Parse/MenhirInterpreter/index.html" }, { "old_path": "doc/Dolmen_intf/Parse/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Parse/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Smtlib_String/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_String/index.html" }, { "old_path": "doc/Dolmen_icnf/Make/Parser/Incremental/index.html", "new_path": "doc/dolmen.icnf/Dolmen_icnf/Make/Parser/Incremental/index.html" }, { "old_path": "doc/Dolmen_intf/Term/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Base/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Base/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Real/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Real/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Term/Var/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Term/Var/index.html" }, { "old_path": "doc/Dolmen_std/Tag/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Tag/index.html" }, { "old_path": "doc/Dolmen_class/Logic/Make/argument-3-T/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/Make/argument-3-T/index.html" }, { "old_path": "doc/Dolmen_intf/Language/module-type-S/Lexer/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Language/module-type-S/Lexer/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Tptp_Tff_Arith/Int/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Tff_Arith/Int/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Tags/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Tags/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Print/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Print/index.html" }, { "old_path": "doc/Dolmen_std/Expr/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/index.html" }, { "old_path": "doc/Dolmen_std/Normalize/Smtlib/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Normalize/Smtlib/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Ty/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Ty/index.html" }, { "old_path": "doc/Dolmen_tptp_v6_3_0/module-type-Id/index.html", "new_path": "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/module-type-Id/index.html" }, { "old_path": "doc/Dolmen_zf/Make/Parser/Incremental/index.html", "new_path": "doc/dolmen.zf/Dolmen_zf/Make/Parser/Incremental/index.html" }, { "old_path": "doc/Dolmen_smtlib2_poly/module-type-Id/index.html", "new_path": "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/module-type-Id/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Term/Cstr/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Term/Cstr/index.html" }, { "old_path": "doc/Dolmen_std/Vec/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Vec/index.html" }, { "old_path": "doc/Dolmen_smtlib2_poly/Make/Parser/index.html", "new_path": "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/Parser/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_String_RegLan/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_String_RegLan/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Smtlib_Int/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_Int/index.html" }, { "old_path": "doc/Dolmen_class/Logic/module-type-S/module-type-S/Lexer/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/module-type-S/module-type-S/Lexer/index.html" }, { "old_path": "doc/Dolmen_intf/Id/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Id/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Smtlib_Base/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_Base/index.html" }, { "old_path": "doc/Dolmen_std/Loc/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Loc/index.html" }, { "old_path": "doc/Dolmen_dimacs/Make/index.html", "new_path": "doc/dolmen.dimacs/Dolmen_dimacs/Make/index.html" }, { "old_path": "doc/Dolmen_tptp_v6_3_0/Make/argument-3-T/index.html", "new_path": "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/argument-3-T/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Term/Real/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Term/Real/index.html" }, { "old_path": "doc/Dolmen_ae/Make/argument-2-I/index.html", "new_path": "doc/dolmen.ae/Dolmen_ae/Make/argument-2-I/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_String/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_String/index.html" }, { "old_path": "doc/Dolmen_std/index.html", "new_path": "doc/dolmen.std/Dolmen_std/index.html" }, { "old_path": "doc/Dolmen_dimacs/Make/Parser/Incremental/index.html", "new_path": "doc/dolmen.dimacs/Dolmen_dimacs/Make/Parser/Incremental/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Term/Float/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Term/Float/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Thf/Const/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Thf/Const/index.html" }, { "old_path": "doc/Dolmen_zf/module-type-Id/index.html", "new_path": "doc/dolmen.zf/Dolmen_zf/module-type-Id/index.html" }, { "old_path": "doc/Dolmen_smtlib2_poly/Make/argument-2-I/index.html", "new_path": "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/argument-2-I/index.html" }, { "old_path": "doc/Dolmen_dimacs/Make/Parser/MenhirInterpreter/index.html", "new_path": "doc/dolmen.dimacs/Dolmen_dimacs/Make/Parser/MenhirInterpreter/index.html" }, { "old_path": "doc/Dolmen_zf/Make/Parser/index.html", "new_path": "doc/dolmen.zf/Dolmen_zf/Make/Parser/index.html" }, { "old_path": "doc/Dolmen_icnf/Make/Lexer/index.html", "new_path": "doc/dolmen.icnf/Dolmen_icnf/Make/Lexer/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Float_Float/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Float_Float/index.html" }, { "old_path": "doc/Dolmen_class/Logic/Make/argument-2-I/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/Make/argument-2-I/index.html" }, { "old_path": "doc/Dolmen_dimacs/Make/argument-2-T/index.html", "new_path": "doc/dolmen.dimacs/Dolmen_dimacs/Make/argument-2-T/index.html" }, { "old_path": "doc/Dolmen_intf/Tok/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Tok/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Float/Bitv/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Float/Bitv/index.html" }, { "old_path": "doc/Dolmen_class/Logic/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Tptp_Tff_Arith/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Tff_Arith/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_String_String/RegLan/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_String_String/RegLan/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_String/String/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_String/String/index.html" }, { "old_path": "doc/Dolmen_std/Id/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Id/index.html" }, { "old_path": "doc/Dolmen_std/Transformer/Make/argument-4-Parse/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Transformer/Make/argument-4-Parse/index.html" }, { "old_path": "doc/Dolmen_smtlib2_v6/Make/Parser/MenhirInterpreter/index.html", "new_path": "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/Parser/MenhirInterpreter/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Term/Const/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Term/Const/index.html" }, { "old_path": "doc/Dolmen_intf/Parse/module-type-S/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Parse/module-type-S/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Zf_Arith/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Zf_Arith/index.html" }, { "old_path": "doc/Dolmen_std/Builtin/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Builtin/index.html" }, { "old_path": "doc/Dolmen_intf/Location/module-type-S/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Location/module-type-S/index.html" }, { "old_path": "doc/Dolmen_class/Logic/Make/module-type-S/Parser/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/Make/module-type-S/Parser/index.html" }, { "old_path": "doc/Dolmen_intf/Tag/module-type-Smtlib_Base/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Tag/module-type-Smtlib_Base/index.html" }, { "old_path": "doc/Dolmen_tptp_v6_3_0/Make/Parser/MenhirInterpreter/index.html", "new_path": "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/Parser/MenhirInterpreter/index.html" }, { "old_path": "doc/Dolmen_class/Logic/module-type-S/module-type-S/Parser/MenhirInterpreter/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/module-type-S/module-type-S/Parser/MenhirInterpreter/index.html" }, { "old_path": "doc/Dolmen_smtlib2_poly/Make/index.html", "new_path": "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/index.html" }, { "old_path": "doc/Dolmen_ae/Make/Parser/MenhirInterpreter/index.html", "new_path": "doc/dolmen.ae/Dolmen_ae/Make/Parser/MenhirInterpreter/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Real_Int/Real/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Real_Int/Real/index.html" }, { "old_path": "doc/Dolmen_icnf/Make/argument-3-S/index.html", "new_path": "doc/dolmen.icnf/Dolmen_icnf/Make/argument-3-S/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Ae_Arith/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Ae_Arith/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Smtlib_Real_Int/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Smtlib_Real_Int/index.html" }, { "old_path": "doc/Dolmen_zf/module-type-Statement/index.html", "new_path": "doc/dolmen.zf/Dolmen_zf/module-type-Statement/index.html" }, { "old_path": "doc/Dolmen_tptp_v6_3_0/Make/argument-2-I/index.html", "new_path": "doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/Make/argument-2-I/index.html" }, { "old_path": "doc/Dolmen_smtlib2_v6/Make/argument-3-T/index.html", "new_path": "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/argument-3-T/index.html" }, { "old_path": "doc/Dolmen_smtlib2_poly/Make/argument-4-S/index.html", "new_path": "doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/argument-4-S/index.html" }, { "old_path": "doc/Dolmen_dimacs/Make/argument-1-L/index.html", "new_path": "doc/dolmen.dimacs/Dolmen_dimacs/Make/argument-1-L/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Smtlib_Bitv/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_Bitv/index.html" }, { "old_path": "doc/Dolmen_smtlib2_v6/module-type-Statement/index.html", "new_path": "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/module-type-Statement/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Tff/Var/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tff/Var/index.html" }, { "old_path": "doc/Dolmen_ae/Make/index.html", "new_path": "doc/dolmen.ae/Dolmen_ae/Make/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Dimacs/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Dimacs/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Ty/Const/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Ty/Const/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Thf/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Thf/index.html" }, { "old_path": "doc/Dolmen_smtlib2_v6/Make/Parser/Incremental/index.html", "new_path": "doc/dolmen_smtlib2_v6/Dolmen_smtlib2_v6/Make/Parser/Incremental/index.html" }, { "old_path": "doc/Dolmen_intf/Term/module-type-Tptp_Thf_Core/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Term/module-type-Tptp_Thf_Core/index.html" }, { "old_path": "doc/Dolmen_zf/module-type-Term/index.html", "new_path": "doc/dolmen.zf/Dolmen_zf/module-type-Term/index.html" }, { "old_path": "doc/Dolmen_ae/Make/argument-1-L/index.html", "new_path": "doc/dolmen.ae/Dolmen_ae/Make/argument-1-L/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Smtlib_Real_Int/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Smtlib_Real_Int/index.html" }, { "old_path": "doc/Dolmen_zf/Make/Lexer/index.html", "new_path": "doc/dolmen.zf/Dolmen_zf/Make/Lexer/index.html" }, { "old_path": "doc/Dolmen_class/Logic/module-type-S/index.html", "new_path": "doc/dolmen.class/Dolmen_class/Logic/module-type-S/index.html" }, { "old_path": "doc/Dolmen_icnf/Make/argument-1-L/index.html", "new_path": "doc/dolmen.icnf/Dolmen_icnf/Make/argument-1-L/index.html" }, { "old_path": "doc/Dolmen_intf/Tag/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Tag/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Tff/Const/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Tff/Const/index.html" }, { "old_path": "doc/Dolmen_std/Expr/Term/String/index.html", "new_path": "doc/dolmen.std/Dolmen_std/Expr/Term/String/index.html" }, { "old_path": "doc/Dolmen_dimacs/Make/Lexer/index.html", "new_path": "doc/dolmen.dimacs/Dolmen_dimacs/Make/Lexer/index.html" }, { "old_path": "doc/Dolmen_icnf/Make/Parser/index.html", "new_path": "doc/dolmen.icnf/Dolmen_icnf/Make/Parser/index.html" }, { "old_path": "doc/Dolmen_intf/Ty/module-type-Ae_Arith/index.html", "new_path": "doc/dolmen.intf/Dolmen_intf/Ty/module-type-Ae_Arith/index.html" } ] }