├── 100 ├── arithmetic.ml ├── arithmetic_geometric_mean.ml ├── ballot.ml ├── bernoulli.ml ├── bertrand.ml ├── birthday.ml ├── cantor.ml ├── cayley_hamilton.ml ├── ceva.ml ├── chords.ml ├── circle.ml ├── combinations.ml ├── constructible.ml ├── cosine.ml ├── cubic.ml ├── derangements.ml ├── desargues.ml ├── descartes.ml ├── dirichlet.ml ├── div3.ml ├── divharmonic.ml ├── e_is_transcendental.ml ├── euler.ml ├── feuerbach.ml ├── four_squares.ml ├── fourier.ml ├── friendship.ml ├── fta.ml ├── gcd.ml ├── heron.ml ├── inclusion_exclusion.ml ├── independence.ml ├── isosceles.ml ├── konigsberg.ml ├── lagrange.ml ├── leibniz.ml ├── lhopital.ml ├── liouville.ml ├── minkowski.ml ├── morley.ml ├── pascal.ml ├── perfect.ml ├── pick.ml ├── piseries.ml ├── platonic.ml ├── pnt.ml ├── polyhedron.ml ├── primerecip.ml ├── ptolemy.ml ├── pythagoras.ml ├── quartic.ml ├── ramsey.ml ├── ratcountable.ml ├── realsuncountable.ml ├── reciprocity.ml ├── sqrt.ml ├── stirling.ml ├── subsequence.ml ├── thales.ml ├── triangular.ml ├── two_squares.ml └── wilson.ml ├── .gitattributes ├── .gitignore ├── Arithmetic ├── arithprov.ml ├── definability.ml ├── derived.ml ├── fol.ml ├── godel.ml ├── make.ml ├── pa.ml ├── sigmacomplete.ml └── tarski.ml ├── Boyer_Moore ├── README ├── boyer-moore.ml ├── clausal_form.ml ├── counterexample.ml ├── definitions.ml ├── environment.ml ├── equalities.ml ├── generalize.ml ├── induction.ml ├── irrelevance.ml ├── main.ml ├── make.ml ├── rewrite_rules.ml ├── shells.ml ├── struct_equal.ml ├── support.ml ├── terms_and_clauses.ml ├── testset │ ├── arith.ml │ ├── list.ml │ ├── res1.pdf │ └── res2.pdf └── waterfall.ml ├── CHANGES ├── Complex ├── complex_grobner.ml ├── complex_real.ml ├── complex_transc.ml ├── complexnumbers.ml ├── cpoly.ml ├── fundamental.ml ├── grobner_examples.ml ├── make.ml ├── quelim.ml └── quelim_examples.ml ├── EC ├── README ├── computegroup.ml ├── curve25519.ml ├── edmont.ml ├── edwards.ml ├── edwards25519.ml ├── edwards448.ml ├── excluderoots.ml ├── family25519.ml ├── formulary_jacobian.ml ├── formulary_projective.ml ├── formulary_xzprojective.ml ├── jacobian.ml ├── make.ml ├── misc.ml ├── montgomery.ml ├── montwe.ml ├── nistp192.ml ├── nistp224.ml ├── nistp256.ml ├── nistp384.ml ├── nistp521.ml ├── projective.ml ├── secp192k1.ml ├── secp224k1.ml ├── secp256k1.ml ├── wei25519.ml ├── weierstrass.ml └── xzprojective.ml ├── Examples ├── borsuk.ml ├── brunn_minkowski.ml ├── combin.ml ├── cong.ml ├── cooper.ml ├── dickson.ml ├── digit_serial_methods.ml ├── division_algebras.ml ├── dlo.ml ├── forster.ml ├── gcdrecurrence.ml ├── harmonicsum.ml ├── hol88.ml ├── holby.ml ├── inverse_bug_puzzle_miz3.ml ├── inverse_bug_puzzle_tac.ml ├── kb.ml ├── lagrange_lemma.ml ├── lucas_lehmer.ml ├── machin.ml ├── mangoldt.ml ├── mccarthy.ml ├── miller_rabin.ml ├── misiurewicz.ml ├── mizar.ml ├── multiwf.ml ├── padics.ml ├── pell.ml ├── polylog.ml ├── prog.ml ├── prover9.ml ├── pseudoprime.ml ├── rectypes.ml ├── reduct.ml ├── safetyliveness.ml ├── schnirelmann.ml ├── solovay.ml ├── sos.ml ├── ste.ml ├── sylvester_gallai.ml ├── update_database.ml ├── vitali.ml └── zolotarev.ml ├── Formal_ineqs ├── README.md ├── arith │ ├── arith_cache.hl │ ├── arith_float.hl │ ├── arith_nat.hl │ ├── arith_num.hl │ ├── eval_interval.hl │ ├── float_pow.hl │ ├── float_theory.hl │ ├── interval_arith.hl │ ├── more_float.hl │ └── num_exp_theory.hl ├── arith_options.hl ├── docs │ ├── FormalVerifier.pdf │ └── FormalVerifier.tex ├── examples.hl ├── examples_flyspeck.hl ├── examples_other.hl ├── examples_poly.hl ├── informal │ ├── informal_asn_acs.hl │ ├── informal_atn.hl │ ├── informal_eval_interval.hl │ ├── informal_exp.hl │ ├── informal_float.hl │ ├── informal_interval.hl │ ├── informal_log.hl │ ├── informal_matan.hl │ ├── informal_nat.hl │ ├── informal_poly.hl │ ├── informal_search.hl │ ├── informal_sin_cos.hl │ ├── informal_taylor.hl │ └── informal_verifier.hl ├── lib │ ├── ipow.hl │ ├── ssrbool.hl │ ├── ssreflect │ │ ├── sections.hl │ │ └── ssreflect.hl │ ├── ssrfun.hl │ └── ssrnat.hl ├── list │ ├── list_conversions.hl │ ├── list_float.hl │ └── more_list.hl ├── make.ml ├── misc │ ├── misc_functions.hl │ ├── misc_vars.hl │ └── report.hl ├── taylor │ ├── m_taylor.hl │ ├── m_taylor_arith.hl │ ├── m_taylor_arith2.hl │ └── theory │ │ ├── multivariate_taylor-compiled.hl │ │ ├── multivariate_taylor.vhl │ │ ├── taylor_interval-compiled.hl │ │ └── taylor_interval.vhl ├── tests │ ├── data │ │ └── gen_nat_data.py │ ├── float_data.hl │ ├── log.hl │ ├── nat_test.hl │ ├── results.hl │ └── test_utils.hl ├── trig │ ├── asn_acs_eval.hl │ ├── atn.hl │ ├── atn_eval.hl │ ├── cos_bounds_eval.hl │ ├── cos_eval.hl │ ├── exp_eval.hl │ ├── exp_log.hl │ ├── log_eval.hl │ ├── matan.hl │ ├── matan_eval.hl │ ├── poly.hl │ ├── poly_eval.hl │ ├── series.hl │ ├── sin_cos.hl │ ├── sin_eval.hl │ ├── test.hl │ └── unused.hl ├── verifier │ ├── certificate.hl │ ├── m_verifier.hl │ ├── m_verifier_build.hl │ └── m_verifier_main.hl └── verifier_options.hl ├── Functionspaces ├── L2.ml ├── README ├── cfunspace.ml ├── make.ml └── utils.ml ├── GL ├── COPYING ├── README.md ├── completeness.ml ├── decid.ml ├── gl.ml ├── k4lr.ml ├── make.ml ├── misc.ml ├── modal.ml └── tests.ml ├── Geometric_Algebra ├── README ├── geometricalgebra.ml ├── make.ml └── quaternions.ml ├── Help ├── .joinparsers.doc ├── .orparser.doc ├── .pipeparser.doc ├── .singlefun.doc ├── .upto.doc ├── .valmod.doc ├── ABBREV_TAC.doc ├── ABS.doc ├── ABS_CONV.doc ├── ABS_TAC.doc ├── AC.doc ├── ACCEPT_TAC.doc ├── ADD_ASSUM.doc ├── ALL_CONV.doc ├── ALL_TAC.doc ├── ALL_THEN.doc ├── ALPHA_CONV.doc ├── ALPHA_UPPERCASE.doc ├── ANTE_RES_THEN.doc ├── ANTS_TAC.doc ├── AP_TERM.doc ├── AP_TERM_TAC.doc ├── AP_THM.doc ├── AP_THM_TAC.doc ├── ARITH_RULE.doc ├── ARITH_TAC.doc ├── ASM.doc ├── ASM_ARITH_TAC.doc ├── ASM_CASES_TAC.doc ├── ASM_FOL_TAC.doc ├── ASM_INT_ARITH_TAC.doc ├── ASM_MESON_TAC.doc ├── ASM_METIS_TAC.doc ├── ASM_REAL_ARITH_TAC.doc ├── ASM_REWRITE_RULE.doc ├── ASM_REWRITE_TAC.doc ├── ASM_SIMP_TAC.doc ├── ASSOC_CONV.doc ├── ASSUME.doc ├── ASSUME_TAC.doc ├── ASSUM_LIST.doc ├── AUGMENT_SIMPSET.doc ├── BETA.doc ├── BETAS_CONV.doc ├── BETA_CONV.doc ├── BETA_RULE.doc ├── BETA_TAC.doc ├── BINDER_CONV.doc ├── BINOP2_CONV.doc ├── BINOP_CONV.doc ├── BINOP_TAC.doc ├── BITS_ELIM_CONV.doc ├── BOOL_CASES_TAC.doc ├── C.doc ├── CACHE_CONV.doc ├── CASE_REWRITE_TAC.doc ├── CCONTR.doc ├── CHANGED_CONV.doc ├── CHANGED_TAC.doc ├── CHAR_EQ_CONV.doc ├── CHEAT_TAC.doc ├── CHOOSE_TAC.doc ├── CHOOSE_THEN.doc ├── CHOOSE_UPPERCASE.doc ├── CLAIM_TAC.doc ├── CNF_CONV.doc ├── COMB2_CONV.doc ├── COMB_CONV.doc ├── CONDS_CELIM_CONV.doc ├── CONDS_ELIM_CONV.doc ├── COND_CASES_TAC.doc ├── COND_ELIM_CONV.doc ├── CONJ.doc ├── CONJUNCT1.doc ├── CONJUNCT2.doc ├── CONJUNCTS_THEN.doc ├── CONJUNCTS_THEN2.doc ├── CONJUNCTS_UPPERCASE.doc ├── CONJ_ACI_RULE.doc ├── CONJ_CANON_CONV.doc ├── CONJ_PAIR.doc ├── CONJ_TAC.doc ├── CONTR.doc ├── CONTRAPOS_CONV.doc ├── CONTR_TAC.doc ├── CONV_RULE.doc ├── CONV_TAC.doc ├── DEDUCT_ANTISYM_RULE.doc ├── DENUMERAL.doc ├── DEPTH_BINOP_CONV.doc ├── DEPTH_CONV.doc ├── DEPTH_SQCONV.doc ├── DESTRUCT_TAC.doc ├── DIMINDEX_CONV.doc ├── DIMINDEX_TAC.doc ├── DISCH.doc ├── DISCH_ALL.doc ├── DISCH_TAC.doc ├── DISCH_THEN.doc ├── DISJ1.doc ├── DISJ1_TAC.doc ├── DISJ2.doc ├── DISJ2_TAC.doc ├── DISJ_ACI_RULE.doc ├── DISJ_CANON_CONV.doc ├── DISJ_CASES.doc ├── DISJ_CASES_TAC.doc ├── DISJ_CASES_THEN.doc ├── DISJ_CASES_THEN2.doc ├── DNF_CONV.doc ├── EQF_ELIM.doc ├── EQF_INTRO.doc ├── EQT_ELIM.doc ├── EQT_INTRO.doc ├── EQ_IMP_RULE.doc ├── EQ_MP.doc ├── EQ_TAC.doc ├── ETA_CONV.doc ├── EVERY.doc ├── EVERY_ASSUM.doc ├── EVERY_CONV.doc ├── EVERY_TCL.doc ├── EXISTENCE.doc ├── EXISTS_EQUATION.doc ├── EXISTS_TAC.doc ├── EXISTS_UPPERCASE.doc ├── EXPAND_CASES_CONV.doc ├── EXPAND_NSUM_CONV.doc ├── EXPAND_SUM_CONV.doc ├── EXPAND_TAC.doc ├── FAIL_TAC.doc ├── FIND_ASSUM.doc ├── FIRST.doc ├── FIRST_ASSUM.doc ├── FIRST_CONV.doc ├── FIRST_TCL.doc ├── FIRST_X_ASSUM.doc ├── FIX_TAC.doc ├── FORALL_UNWIND_CONV.doc ├── FREEZE_THEN.doc ├── F_F.doc ├── GABS_CONV.doc ├── GEN.doc ├── GENERAL_REWRITE_CONV.doc ├── GENL.doc ├── GEN_ALL.doc ├── GEN_ALPHA_CONV.doc ├── GEN_BETA_CONV.doc ├── GEN_MESON_TAC.doc ├── GEN_NNF_CONV.doc ├── GEN_PART_MATCH.doc ├── GEN_REAL_ARITH.doc ├── GEN_REWRITE_CONV.doc ├── GEN_REWRITE_RULE.doc ├── GEN_REWRITE_TAC.doc ├── GEN_SIMPLIFY_CONV.doc ├── GEN_TAC.doc ├── GSYM.doc ├── HAS_SIZE_CONV.doc ├── HAS_SIZE_DIMINDEX_RULE.doc ├── HIGHER_REWRITE_CONV.doc ├── HINT_EXISTS_TAC.doc ├── HYP_TAC.doc ├── HYP_UPPERCASE.doc ├── I.doc ├── IMP_ANTISYM_RULE.doc ├── IMP_RES_THEN.doc ├── IMP_REWRITE_TAC.doc ├── IMP_REWR_CONV.doc ├── IMP_TRANS.doc ├── INDUCT_TAC.doc ├── INSTANTIATE_ALL.doc ├── INSTANTIATE_UPPERCASE.doc ├── INST_TYPE.doc ├── INST_UPPERCASE.doc ├── INTEGER_RULE.doc ├── INTEGER_TAC.doc ├── INTRO_TAC.doc ├── INT_ABS_CONV.doc ├── INT_ADD_CONV.doc ├── INT_ARITH.doc ├── INT_ARITH_TAC.doc ├── INT_EQ_CONV.doc ├── INT_GE_CONV.doc ├── INT_GT_CONV.doc ├── INT_LE_CONV.doc ├── INT_LT_CONV.doc ├── INT_MAX_CONV.doc ├── INT_MIN_CONV.doc ├── INT_MUL_CONV.doc ├── INT_NEG_CONV.doc ├── INT_OF_REAL_THM.doc ├── INT_POLY_CONV.doc ├── INT_POW_CONV.doc ├── INT_REDUCE_CONV.doc ├── INT_RED_CONV.doc ├── INT_REM_DOWN_CONV.doc ├── INT_RING.doc ├── INT_SGN_CONV.doc ├── INT_SUB_CONV.doc ├── ISPEC.doc ├── ISPECL.doc ├── ITAUT.doc ├── ITAUT_TAC.doc ├── K.doc ├── LABEL_TAC.doc ├── LAMBDA_ELIM_CONV.doc ├── LAND_CONV.doc ├── LEANCOP.doc ├── LEANCOP_TAC.doc ├── LET_TAC.doc ├── LE_IMP.doc ├── LIST_CONV.doc ├── LIST_INDUCT_TAC.doc ├── MAP_EVERY.doc ├── MAP_FIRST.doc ├── MATCH_ACCEPT_TAC.doc ├── MATCH_CONV.doc ├── MATCH_MP.doc ├── MATCH_MP_TAC.doc ├── MESON.doc ├── MESON_TAC.doc ├── META_EXISTS_TAC.doc ├── META_SPEC_TAC.doc ├── METIS.doc ├── METIS_TAC.doc ├── MK_BINOP_UPPERCASE.doc ├── MK_COMB_TAC.doc ├── MK_COMB_UPPERCASE.doc ├── MK_CONJ_UPPERCASE.doc ├── MK_DISJ_UPPERCASE.doc ├── MK_EXISTS_UPPERCASE.doc ├── MK_FORALL_UPPERCASE.doc ├── MOD_DOWN_CONV.doc ├── MONO_TAC.doc ├── MP.doc ├── MP_CONV.doc ├── MP_TAC.doc ├── NANOCOP.doc ├── NANOCOP_TAC.doc ├── NNFC_CONV.doc ├── NNF_CONV.doc ├── NOT_ELIM.doc ├── NOT_INTRO.doc ├── NO_CONV.doc ├── NO_TAC.doc ├── NO_THEN.doc ├── NUMBER_RULE.doc ├── NUMBER_TAC.doc ├── NUMSEG_CONV.doc ├── NUM_ADD_CONV.doc ├── NUM_CANCEL_CONV.doc ├── NUM_DIV_CONV.doc ├── NUM_EQ_CONV.doc ├── NUM_EVEN_CONV.doc ├── NUM_EXP_CONV.doc ├── NUM_FACT_CONV.doc ├── NUM_GE_CONV.doc ├── NUM_GT_CONV.doc ├── NUM_LE_CONV.doc ├── NUM_LT_CONV.doc ├── NUM_MAX_CONV.doc ├── NUM_MIN_CONV.doc ├── NUM_MOD_CONV.doc ├── NUM_MULT_CONV.doc ├── NUM_NORMALIZE_CONV.doc ├── NUM_ODD_CONV.doc ├── NUM_PRE_CONV.doc ├── NUM_REDUCE_CONV.doc ├── NUM_REDUCE_TAC.doc ├── NUM_RED_CONV.doc ├── NUM_REL_CONV.doc ├── NUM_RING.doc ├── NUM_SIMPLIFY_CONV.doc ├── NUM_SUB_CONV.doc ├── NUM_SUC_CONV.doc ├── NUM_TO_INT_CONV.doc ├── ONCE_ASM_REWRITE_RULE.doc ├── ONCE_ASM_REWRITE_TAC.doc ├── ONCE_ASM_SIMP_TAC.doc ├── ONCE_DEPTH_CONV.doc ├── ONCE_DEPTH_SQCONV.doc ├── ONCE_REWRITE_CONV.doc ├── ONCE_REWRITE_RULE.doc ├── ONCE_REWRITE_TAC.doc ├── ONCE_SIMPLIFY_CONV.doc ├── ONCE_SIMP_CONV.doc ├── ONCE_SIMP_RULE.doc ├── ONCE_SIMP_TAC.doc ├── ORDERED_IMP_REWR_CONV.doc ├── ORDERED_REWR_CONV.doc ├── ORELSE.doc ├── ORELSEC.doc ├── ORELSE_TCL.doc ├── PART_MATCH.doc ├── PATH_CONV.doc ├── PAT_CONV.doc ├── PINST.doc ├── POP_ASSUM.doc ├── POP_ASSUM_LIST.doc ├── PRENEX_CONV.doc ├── PRESIMP_CONV.doc ├── PROP_ATOM_CONV.doc ├── PROVE_HYP.doc ├── PURE_ASM_REWRITE_RULE.doc ├── PURE_ASM_REWRITE_TAC.doc ├── PURE_ASM_SIMP_TAC.doc ├── PURE_ONCE_ASM_REWRITE_RULE.doc ├── PURE_ONCE_ASM_REWRITE_TAC.doc ├── PURE_ONCE_REWRITE_CONV.doc ├── PURE_ONCE_REWRITE_RULE.doc ├── PURE_ONCE_REWRITE_TAC.doc ├── PURE_REWRITE_CONV.doc ├── PURE_REWRITE_RULE.doc ├── PURE_REWRITE_TAC.doc ├── PURE_SIMP_CONV.doc ├── PURE_SIMP_RULE.doc ├── PURE_SIMP_TAC.doc ├── RAND_CONV.doc ├── RATOR_CONV.doc ├── REAL_ARITH.doc ├── REAL_ARITH_TAC.doc ├── REAL_FIELD.doc ├── REAL_IDEAL_CONV.doc ├── REAL_INT_ABS_CONV.doc ├── REAL_INT_ADD_CONV.doc ├── REAL_INT_EQ_CONV.doc ├── REAL_INT_GE_CONV.doc ├── REAL_INT_GT_CONV.doc ├── REAL_INT_LE_CONV.doc ├── REAL_INT_LT_CONV.doc ├── REAL_INT_MUL_CONV.doc ├── REAL_INT_NEG_CONV.doc ├── REAL_INT_POW_CONV.doc ├── REAL_INT_RAT_CONV.doc ├── REAL_INT_REDUCE_CONV.doc ├── REAL_INT_RED_CONV.doc ├── REAL_INT_SUB_CONV.doc ├── REAL_LET_IMP.doc ├── REAL_LE_IMP.doc ├── REAL_LINEAR_PROVER.doc ├── REAL_POLY_ADD_CONV.doc ├── REAL_POLY_CONV.doc ├── REAL_POLY_MUL_CONV.doc ├── REAL_POLY_NEG_CONV.doc ├── REAL_POLY_POW_CONV.doc ├── REAL_POLY_SUB_CONV.doc ├── REAL_RAT_ABS_CONV.doc ├── REAL_RAT_ADD_CONV.doc ├── REAL_RAT_DIV_CONV.doc ├── REAL_RAT_EQ_CONV.doc ├── REAL_RAT_GE_CONV.doc ├── REAL_RAT_GT_CONV.doc ├── REAL_RAT_INV_CONV.doc ├── REAL_RAT_LE_CONV.doc ├── REAL_RAT_LT_CONV.doc ├── REAL_RAT_MAX_CONV.doc ├── REAL_RAT_MIN_CONV.doc ├── REAL_RAT_MUL_CONV.doc ├── REAL_RAT_NEG_CONV.doc ├── REAL_RAT_POW_CONV.doc ├── REAL_RAT_REDUCE_CONV.doc ├── REAL_RAT_RED_CONV.doc ├── REAL_RAT_SGN_CONV.doc ├── REAL_RAT_SUB_CONV.doc ├── REAL_RING.doc ├── RECALL_ACCEPT_TAC.doc ├── REDEPTH_CONV.doc ├── REDEPTH_SQCONV.doc ├── REFL.doc ├── REFL_TAC.doc ├── REFUTE_THEN.doc ├── REMOVE_THEN.doc ├── REPEATC.doc ├── REPEAT_GTCL.doc ├── REPEAT_TCL.doc ├── REPEAT_UPPERCASE.doc ├── REPLICATE_TAC.doc ├── REWRITES_CONV.doc ├── REWRITE_CONV.doc ├── REWRITE_RULE.doc ├── REWRITE_TAC.doc ├── REWR_CONV.doc ├── RIGHT_BETAS.doc ├── RING.doc ├── RING_AND_IDEAL_CONV.doc ├── RULE_ASSUM_TAC.doc ├── SELECT_CONV.doc ├── SELECT_ELIM_TAC.doc ├── SELECT_RULE.doc ├── SEMIRING_NORMALIZERS_CONV.doc ├── SEQ_IMP_REWRITE_TAC.doc ├── SET_RULE.doc ├── SET_TAC.doc ├── SIMPLE_CHOOSE.doc ├── SIMPLE_DISJ_CASES.doc ├── SIMPLE_EXISTS.doc ├── SIMPLIFY_CONV.doc ├── SIMP_CONV.doc ├── SIMP_RULE.doc ├── SIMP_TAC.doc ├── SKOLEM_CONV.doc ├── SPEC.doc ├── SPECL.doc ├── SPEC_ALL.doc ├── SPEC_TAC.doc ├── SPEC_VAR.doc ├── STRING_EQ_CONV.doc ├── STRIP_ASSUME_TAC.doc ├── STRIP_GOAL_THEN.doc ├── STRIP_TAC.doc ├── STRIP_THM_THEN.doc ├── STRUCT_CASES_TAC.doc ├── STRUCT_CASES_THEN.doc ├── SUBGOAL_TAC.doc ├── SUBGOAL_THEN.doc ├── SUBLET_CONV.doc ├── SUBS.doc ├── SUBST1_TAC.doc ├── SUBST_ALL_TAC.doc ├── SUBST_VAR_TAC.doc ├── SUBS_CONV.doc ├── SUB_CONV.doc ├── SYM.doc ├── SYM_CONV.doc ├── TAC_PROOF.doc ├── TARGET_REWRITE_TAC.doc ├── TAUT.doc ├── THEN.doc ├── THENC.doc ├── THENL.doc ├── THEN_TCL.doc ├── TOP_DEPTH_CONV.doc ├── TOP_DEPTH_SQCONV.doc ├── TOP_SWEEP_CONV.doc ├── TOP_SWEEP_SQCONV.doc ├── TRANS.doc ├── TRANS_TAC.doc ├── TRY.doc ├── TRY_CONV.doc ├── UNDISCH.doc ├── UNDISCH_ALL.doc ├── UNDISCH_TAC.doc ├── UNDISCH_THEN.doc ├── UNIFY_ACCEPT_TAC.doc ├── UNWIND_CONV.doc ├── USE_THEN.doc ├── VALID.doc ├── W.doc ├── WEAK_CNF_CONV.doc ├── WEAK_DNF_CONV.doc ├── WF_INDUCT_TAC.doc ├── X_CHOOSE_TAC.doc ├── X_CHOOSE_THEN.doc ├── X_GEN_TAC.doc ├── X_META_EXISTS_TAC.doc ├── a.doc ├── aconv.doc ├── allpairs.doc ├── alpha.doc ├── alphaorder.doc ├── apply.doc ├── apply_prover.doc ├── applyd.doc ├── assoc.doc ├── assocd.doc ├── atleast.doc ├── aty.doc ├── augment.doc ├── axioms.doc ├── b.doc ├── basic_congs.doc ├── basic_convs.doc ├── basic_net.doc ├── basic_prover.doc ├── basic_rectype_net.doc ├── basic_rewrites.doc ├── basic_ss.doc ├── binders.doc ├── binops.doc ├── bndvar.doc ├── body.doc ├── bool_ty.doc ├── bty.doc ├── butlast.doc ├── by.doc ├── can.doc ├── cases.doc ├── check.doc ├── checkpoint.doc ├── choose.doc ├── chop_list.doc ├── combine.doc ├── comment_token.doc ├── compose_insts.doc ├── concl.doc ├── conjuncts.doc ├── constants.doc ├── copverb.doc ├── current_goalstack.doc ├── curry.doc ├── decreasing.doc ├── deep_alpha.doc ├── define.doc ├── define_quotient_type.doc ├── define_type.doc ├── define_type_raw.doc ├── defined.doc ├── definitions.doc ├── delete_parser.doc ├── delete_user_printer.doc ├── denominator.doc ├── derive_nonschematic_inductive_relations.doc ├── derive_strong_induction.doc ├── dest_abs.doc ├── dest_binary.doc ├── dest_binder.doc ├── dest_binop.doc ├── dest_char.doc ├── dest_comb.doc ├── dest_cond.doc ├── dest_conj.doc ├── dest_cons.doc ├── dest_const.doc ├── dest_disj.doc ├── dest_eq.doc ├── dest_exists.doc ├── dest_finty.doc ├── dest_forall.doc ├── dest_fun_ty.doc ├── dest_gabs.doc ├── dest_iff.doc ├── dest_imp.doc ├── dest_intconst.doc ├── dest_let.doc ├── dest_list.doc ├── dest_neg.doc ├── dest_numeral.doc ├── dest_pair.doc ├── dest_realintconst.doc ├── dest_select.doc ├── dest_setenum.doc ├── dest_small_numeral.doc ├── dest_string.doc ├── dest_thm.doc ├── dest_type.doc ├── dest_uexists.doc ├── dest_var.doc ├── dest_vartype.doc ├── disjuncts.doc ├── distinctness.doc ├── distinctness_store.doc ├── do_list.doc ├── dom.doc ├── dpty.doc ├── e.doc ├── el.doc ├── elistof.doc ├── empty_net.doc ├── empty_ss.doc ├── end_itlist.doc ├── enter.doc ├── equals_goal.doc ├── equals_thm.doc ├── exactly.doc ├── exists.doc ├── explode.doc ├── extend_basic_congs.doc ├── extend_basic_convs.doc ├── extend_basic_rewrites.doc ├── extend_rectype_net.doc ├── f_f_.doc ├── fail.doc ├── file_of_string.doc ├── file_on_path.doc ├── filter.doc ├── find.doc ├── find_path.doc ├── find_term.doc ├── find_terms.doc ├── finished.doc ├── fix.doc ├── flat.doc ├── flush_goalstack.doc ├── foldl.doc ├── foldr.doc ├── follow_path.doc ├── forall.doc ├── forall2.doc ├── free_in.doc ├── frees.doc ├── freesin.doc ├── freesl.doc ├── funpow.doc ├── g.doc ├── gcd.doc ├── gcd_num.doc ├── genvar.doc ├── get_const_type.doc ├── get_infix_status.doc ├── get_type_arity.doc ├── graph.doc ├── hd.doc ├── help.doc ├── help_path.doc ├── hide_constant.doc ├── hol_dir.doc ├── hol_expand_directory.doc ├── hol_version.doc ├── hyp.doc ├── ideal_cofactors.doc ├── ignore_constant_varstruct.doc ├── implode.doc ├── increasing.doc ├── index.doc ├── inductive_type_store.doc ├── infixes.doc ├── injectivity.doc ├── injectivity_store.doc ├── insert.doc ├── insert_prime.doc ├── inst.doc ├── inst_goal.doc ├── install_parser.doc ├── install_user_printer.doc ├── installed_parsers.doc ├── instantiate.doc ├── instantiate_casewise_recursion.doc ├── int_ideal_cofactors.doc ├── intersect.doc ├── is_abs.doc ├── is_binary.doc ├── is_binder.doc ├── is_binop.doc ├── is_comb.doc ├── is_cond.doc ├── is_conj.doc ├── is_cons.doc ├── is_const.doc ├── is_disj.doc ├── is_eq.doc ├── is_exists.doc ├── is_forall.doc ├── is_gabs.doc ├── is_hidden.doc ├── is_iff.doc ├── is_imp.doc ├── is_intconst.doc ├── is_let.doc ├── is_list.doc ├── is_neg.doc ├── is_numeral.doc ├── is_pair.doc ├── is_prefix.doc ├── is_ratconst.doc ├── is_realintconst.doc ├── is_reserved_word.doc ├── is_select.doc ├── is_setenum.doc ├── is_type.doc ├── is_uexists.doc ├── is_undefined.doc ├── is_var.doc ├── is_vartype.doc ├── isalnum.doc ├── isalpha.doc ├── isbra.doc ├── isnum.doc ├── issep.doc ├── isspace.doc ├── issymb.doc ├── it.doc ├── itlist.doc ├── itlist2.doc ├── last.doc ├── lcm_num.doc ├── leftbin.doc ├── length.doc ├── let_CONV.doc ├── lex.doc ├── lhand.doc ├── lhs.doc ├── lift_function.doc ├── lift_theorem.doc ├── list_mk_abs.doc ├── list_mk_binop.doc ├── list_mk_comb.doc ├── list_mk_conj.doc ├── list_mk_disj.doc ├── list_mk_exists.doc ├── list_mk_forall.doc ├── list_mk_gabs.doc ├── list_mk_icomb.doc ├── listof.doc ├── load_on_path.doc ├── load_path.doc ├── loaded_files.doc ├── loads.doc ├── loadt.doc ├── lookup.doc ├── make_args.doc ├── make_overloadable.doc ├── many.doc ├── map.doc ├── map2.doc ├── mapf.doc ├── mapfilter.doc ├── mem.doc ├── mem_prime.doc ├── merge.doc ├── merge_nets.doc ├── mergesort.doc ├── meson_brand.doc ├── meson_chatty.doc ├── meson_dcutin.doc ├── meson_depth.doc ├── meson_prefine.doc ├── meson_skew.doc ├── meson_split_limit.doc ├── metisverb.doc ├── mk_abs.doc ├── mk_binary.doc ├── mk_binder.doc ├── mk_binop.doc ├── mk_char.doc ├── mk_comb.doc ├── mk_cond.doc ├── mk_conj.doc ├── mk_cons.doc ├── mk_const.doc ├── mk_disj.doc ├── mk_eq.doc ├── mk_exists.doc ├── mk_finty.doc ├── mk_flist.doc ├── mk_forall.doc ├── mk_fset.doc ├── mk_fthm.doc ├── mk_fun_ty.doc ├── mk_gabs.doc ├── mk_goalstate.doc ├── mk_icomb.doc ├── mk_iff.doc ├── mk_imp.doc ├── mk_intconst.doc ├── mk_let.doc ├── mk_list.doc ├── mk_mconst.doc ├── mk_neg.doc ├── mk_numeral.doc ├── mk_pair.doc ├── mk_primed_var.doc ├── mk_prover.doc ├── mk_realintconst.doc ├── mk_rewrites.doc ├── mk_select.doc ├── mk_setenum.doc ├── mk_small_numeral.doc ├── mk_string.doc ├── mk_thm.doc ├── mk_type.doc ├── mk_uexists.doc ├── mk_var.doc ├── mk_vartype.doc ├── monotonicity_theorems.doc ├── name.doc ├── name_of.doc ├── needs.doc ├── net_of_cong.doc ├── net_of_conv.doc ├── net_of_thm.doc ├── new_axiom.doc ├── new_basic_definition.doc ├── new_basic_type_definition.doc ├── new_constant.doc ├── new_definition.doc ├── new_inductive_definition.doc ├── new_inductive_set.doc ├── new_recursive_definition.doc ├── new_specification.doc ├── new_type.doc ├── new_type_abbrev.doc ├── new_type_definition.doc ├── nothing.doc ├── nsplit.doc ├── null_inst.doc ├── null_meta.doc ├── num_0.doc ├── num_1.doc ├── num_10.doc ├── num_2.doc ├── num_CONV.doc ├── num_of_string.doc ├── numdom.doc ├── numerator.doc ├── o.doc ├── occurs_in.doc ├── omit.doc ├── orelse_.doc ├── orelse_tcl_.doc ├── orelsec_.doc ├── overload_interface.doc ├── override_interface.doc ├── p.doc ├── parse_as_binder.doc ├── parse_as_infix.doc ├── parse_as_prefix.doc ├── parse_inductive_type_specification.doc ├── parse_preterm.doc ├── parse_pretype.doc ├── parse_term.doc ├── parse_type.doc ├── parses_as_binder.doc ├── partition.doc ├── possibly.doc ├── pow10.doc ├── pow2.doc ├── pp_print_fpf.doc ├── pp_print_num.doc ├── pp_print_qterm.doc ├── pp_print_qtype.doc ├── pp_print_term.doc ├── pp_print_thm.doc ├── pp_print_type.doc ├── prebroken_binops.doc ├── prefixes.doc ├── preterm_of_term.doc ├── pretype_of_type.doc ├── print_all_thm.doc ├── print_fpf.doc ├── print_goal.doc ├── print_goalstack.doc ├── print_num.doc ├── print_qterm.doc ├── print_qtype.doc ├── print_term.doc ├── print_thm.doc ├── print_to_string.doc ├── print_type.doc ├── print_unambiguous_comprehensions.doc ├── prioritize_int.doc ├── prioritize_num.doc ├── prioritize_overload.doc ├── prioritize_real.doc ├── prove.doc ├── prove_cases_thm.doc ├── prove_constructors_distinct.doc ├── prove_constructors_injective.doc ├── prove_general_recursive_function_exists.doc ├── prove_inductive_relations_exist.doc ├── prove_monotonicity_hyps.doc ├── prove_recursive_functions_exist.doc ├── pure_prove_recursive_function_exists.doc ├── qmap.doc ├── quotexpander.doc ├── r.doc ├── ran.doc ├── rand.doc ├── rat_of_term.doc ├── rator.doc ├── real_ideal_cofactors.doc ├── reduce_interface.doc ├── refine.doc ├── remark.doc ├── remove.doc ├── remove_interface.doc ├── remove_type_abbrev.doc ├── repeat.doc ├── replicate.doc ├── report.doc ├── report_timing.doc ├── reserve_words.doc ├── reserved_words.doc ├── retypecheck.doc ├── rev.doc ├── rev_assoc.doc ├── rev_assocd.doc ├── rev_itlist.doc ├── rev_itlist2.doc ├── rev_splitlist.doc ├── reverse_interface_mapping.doc ├── rhs.doc ├── rightbin.doc ├── rotate.doc ├── search.doc ├── self_destruct.doc ├── set_basic_congs.doc ├── set_basic_convs.doc ├── set_basic_rewrites.doc ├── set_eq.doc ├── set_goal.doc ├── setify.doc ├── shareout.doc ├── some.doc ├── sort.doc ├── splitlist.doc ├── ss_of_congs.doc ├── ss_of_conv.doc ├── ss_of_maker.doc ├── ss_of_prover.doc ├── ss_of_provers.doc ├── ss_of_thms.doc ├── startup_banner.doc ├── string_of_file.doc ├── string_of_term.doc ├── string_of_thm.doc ├── string_of_type.doc ├── strings_of_file.doc ├── strip_abs.doc ├── strip_comb.doc ├── strip_exists.doc ├── strip_forall.doc ├── strip_gabs.doc ├── strip_ncomb.doc ├── striplist.doc ├── subset.doc ├── subst.doc ├── subtract.doc ├── subtract_prime.doc ├── temp_path.doc ├── term_match.doc ├── term_of_preterm.doc ├── term_of_rat.doc ├── term_order.doc ├── term_type_unify.doc ├── term_unify.doc ├── term_union.doc ├── the_definitions.doc ├── the_implicit_types.doc ├── the_inductive_definitions.doc ├── the_inductive_types.doc ├── the_interface.doc ├── the_overload_skeletons.doc ├── the_specifications.doc ├── the_type_definitions.doc ├── then_.doc ├── then_tcl_.doc ├── thenc_.doc ├── thenl_.doc ├── theorems.doc ├── thm_frees.doc ├── time.doc ├── tl.doc ├── top_goal.doc ├── top_realgoal.doc ├── top_thm.doc ├── try_user_parser.doc ├── try_user_printer.doc ├── tryapplyd.doc ├── tryfind.doc ├── type_abbrevs.doc ├── type_invention_error.doc ├── type_invention_warning.doc ├── type_match.doc ├── type_of.doc ├── type_of_pretype.doc ├── type_subst.doc ├── type_unify.doc ├── type_vars_in_term.doc ├── types.doc ├── typify_universal_set.doc ├── tysubst.doc ├── tyvars.doc ├── uncurry.doc ├── undefine.doc ├── undefined.doc ├── unhide_constant.doc ├── union.doc ├── union_prime.doc ├── unions.doc ├── unions_prime.doc ├── uniq.doc ├── unparse_as_binder.doc ├── unparse_as_infix.doc ├── unparse_as_prefix.doc ├── unreserve_words.doc ├── unspaced_binops.doc ├── unzip.doc ├── use_file.doc ├── variables.doc ├── variant.doc ├── variants.doc ├── verbose.doc ├── vfree_in.doc ├── vsubst.doc ├── warn.doc └── zip.doc ├── IEEE ├── README ├── common.hl ├── fixed.hl ├── fixed_thms.hl ├── float.hl ├── float_thms.hl ├── ieee.hl ├── ieee_thms.hl └── make.ml ├── IsabelleLight ├── README ├── isalight.ml ├── make.ml ├── meta_rules.ml ├── new_tactics.ml └── support.ml ├── Jordan ├── float.ml ├── jordan_curve_theorem.ml ├── lib_ext.ml ├── make.ml ├── metric_spaces.ml ├── misc_defs_and_lemmas.ml ├── num_ext_gcd.ml ├── num_ext_nabs.ml ├── parse_ext_override_interface.ml ├── real_ext.ml ├── real_ext_geom_series.ml ├── tactics_ext.ml ├── tactics_ext2.ml ├── tactics_fix.ml └── tactics_refine.ml ├── LICENSE ├── LP_arith ├── Makefile ├── README ├── cdd_cert.c ├── lp_arith.ml ├── lp_tests.ml └── make.ml ├── Library ├── agm.ml ├── analysis.ml ├── binary.ml ├── binomial.ml ├── bitmatch.ml ├── bitsize.ml ├── calc_real.ml ├── card.ml ├── floor.ml ├── frag.ml ├── grouptheory.ml ├── integer.ml ├── isum.ml ├── iter.ml ├── jacobi.ml ├── modmul_group.ml ├── multiplicative.ml ├── permutations.ml ├── pocklington.ml ├── poly.ml ├── pratt.ml ├── prime.ml ├── primitive.ml ├── products.ml ├── q.ml ├── ringtheory.ml ├── rstc.ml ├── transc.ml ├── wo.ml └── words.ml ├── Logic ├── README ├── birkhoff.ml ├── canon.ml ├── fol.ml ├── fol_prop.ml ├── fole.ml ├── given.ml ├── givensem.ml ├── herbrand.ml ├── linear.ml ├── lpo.ml ├── make.ml ├── positive.ml ├── prenex.ml ├── prolog.ml ├── resolution.ml ├── skolem.ml ├── support.ml ├── trs.ml └── unif.ml ├── Makefile ├── Minisat ├── CREDITS ├── README ├── dimacs_tools.ml ├── make.ml ├── minisat_parse.ml ├── minisat_prove.ml ├── minisat_resolve.ml ├── sat_common_tools.ml ├── sat_script.ml ├── sat_solvers.ml ├── sat_tools.ml ├── taut.ml └── zc2mso │ ├── README │ └── zc2mso.C ├── Mizarlight ├── Makefile ├── duality.ml ├── duality_holby.ml ├── make.ml ├── miz2a.ml └── pa_f.ml ├── Model ├── make.ml ├── modelset.ml ├── semantics.ml └── syntax.ml ├── Multivariate ├── canal.ml ├── cauchy.ml ├── clifford.ml ├── complex_database.ml ├── complexes.ml ├── convex.ml ├── cross.ml ├── cvectors.ml ├── degree.ml ├── derivatives.ml ├── determinants.ml ├── flyspeck.ml ├── gamma.ml ├── geom.ml ├── homology.ml ├── integration.ml ├── lpspaces.ml ├── make.ml ├── make_complex.ml ├── measure.ml ├── metric.ml ├── misc.ml ├── moretop.ml ├── msum.ml ├── multivariate_database.ml ├── paths.ml ├── polytope.ml ├── realanalysis.ml ├── specialtopologies.ml ├── tarski.ml ├── topology.ml ├── transcendentals.ml ├── vectors.ml ├── wlog.ml └── wlog_examples.ml ├── Ntrie └── ntrie.ml ├── Permutation ├── DOC.txt ├── make.ml ├── morelist.ml ├── nummax.ml ├── permutation.ml ├── permuted.ml └── qsort.ml ├── ProofTrace ├── .gitignore ├── README ├── fusion.ml.diff └── proofs.ml ├── Proofrecording ├── README ├── diffs │ ├── basics.ml │ ├── bool.ml │ ├── depgraph.ml │ ├── equal.ml │ ├── hol.ml │ ├── proofobjects_coq.ml │ ├── proofobjects_dummy.ml │ ├── proofobjects_init.ml │ ├── proofobjects_trt.ml │ ├── tactics.ml │ └── thm.ml ├── hol_light │ └── Makefile └── tools │ ├── Makefile │ ├── detecteq_readme.txt │ ├── init.ml │ ├── src │ ├── DetectEq.java │ ├── Makefile │ └── NamedTheorem.java │ └── startcore.ml ├── QBF ├── README ├── make.ml ├── mygraph.ml ├── qbf.ml └── qbfr.ml ├── QUICK_REFERENCE.txt ├── Quaternions ├── COPYING ├── make.ml ├── misc.hl ├── qanal.hl ├── qcalc.hl ├── qderivative.hl ├── qisom.hl ├── qnormalizer.hl └── quaternion.hl ├── README.hol-light ├── README.md ├── RichterHilbertAxiomGeometry ├── HilbertAxiom_read.ml ├── README ├── TarskiAxiomGeometry_read.ml ├── Topology.ml ├── UniversalPropCartProd.ml ├── error-checking.ml ├── from_topology.ml ├── inverse_bug_puzzle_read.ml ├── miz3 │ ├── FontHilbertAxiom.ml │ ├── HilbertAxiom.ml │ ├── Miz3Tips │ ├── README │ ├── hol-light-fonts.el │ ├── hol-light-fonts.elc │ └── make.ml ├── readable.ml ├── thmFontHilbertAxiom ├── thmFontHilbertAxiom.ml └── thmTopology ├── Rqe ├── asym.ml ├── basic.ml ├── condense.ml ├── condense_thms.ml ├── dedmatrix.ml ├── dedmatrix_thms.ml ├── defs.ml ├── examples.ml ├── inferisign.ml ├── inferisign_thms.ml ├── inferpsign.ml ├── inferpsign_thms.ml ├── lift_qelim.ml ├── list_rewrites.ml ├── main_thms.ml ├── make.ml ├── matinsert.ml ├── matinsert_thms.ml ├── num_calc_simp.ml ├── pdivides.ml ├── pdivides_thms.ml ├── poly_ext.ml ├── rewrites.ml ├── rol.ml ├── rqe_lib.ml ├── rqe_list.ml ├── rqe_main.ml ├── rqe_num.ml ├── rqe_real.ml ├── rqe_tactics_ext.ml ├── signs.ml ├── signs_thms.ml ├── simplify.ml ├── testform.ml ├── testform_thms.ml ├── timers.ml ├── util.ml └── work_thms.ml ├── Tutorial ├── Abstractions_and_quantifiers.ml ├── Changing_proof_style.ml ├── Custom_inference_rules.ml ├── Custom_tactics.ml ├── Defining_new_types.ml ├── Embedding_of_logics_deep.ml ├── Embedding_of_logics_shallow.ml ├── HOL_as_a_functional_programming_language.ml ├── HOL_basics.ml ├── HOLs_number_systems.ml ├── Inductive_datatypes.ml ├── Inductive_definitions.ml ├── Linking_external_tools.ml ├── Number_theory.ml ├── Propositional_logic.ml ├── Real_analysis.ml ├── Recursive_definitions.ml ├── Semantics_of_programming_languages_deep.ml ├── Semantics_of_programming_languages_shallow.ml ├── Sets_and_functions.ml ├── Tactics_and_tacticals.ml ├── Vectors.ml ├── Wellfounded_induction.ml └── all.ml ├── Unity ├── README ├── aux_definitions.ml ├── make.ml ├── mk_comp_unity.ml ├── mk_ensures.ml ├── mk_gen_induct.ml ├── mk_leadsto.ml ├── mk_state_logic.ml ├── mk_unity_prog.ml └── mk_unless.ml ├── VERYQUICK_REFERENCE.txt ├── arith.ml ├── basics.ml ├── bool.ml ├── cake.S.patch ├── calc_int.ml ├── calc_num.ml ├── calc_rat.ml ├── candle ├── candle_boot.ml ├── candle_compute.ml ├── candle_kernel.ml ├── candle_nums.ml ├── candle_patches ├── arith.ml.patch ├── basics.ml.patch ├── calc_int.ml.patch ├── calc_num.ml.patch ├── calc_rat.ml.patch ├── canon.ml.patch ├── cart.ml.patch ├── define.ml.patch ├── drule.ml.patch ├── equal.ml.patch ├── grobner.ml.patch ├── hol.ml.patch ├── impconv.ml.patch ├── ind_defs.ml.patch ├── ind_types.ml.patch ├── int.ml.patch ├── itab.ml.patch ├── iterate.ml.patch ├── lib.ml.patch ├── lists.ml.patch ├── meson.ml.patch ├── nets.ml.patch ├── normalizer.ml.patch ├── nums.ml.patch ├── pair.ml.patch ├── parser.ml.patch ├── preterm.ml.patch ├── printer.ml.patch ├── quot.ml.patch ├── realarith.ml.patch ├── realax.ml.patch ├── recursion.ml.patch ├── sets.ml.patch ├── simp.ml.patch ├── system.ml.patch ├── tactics.ml.patch └── theorems.ml.patch ├── candle_pretty.ml ├── canon.ml ├── cart.ml ├── class.ml ├── compute.ml ├── database.ml ├── define.ml ├── doc-to-help.sed ├── drule.ml ├── equal.ml ├── firstorder.ml ├── fusion.ml ├── grobner.ml ├── help.ml ├── hol.ml ├── holtest ├── holtest.mk ├── holtest_parallel ├── impconv.ml ├── ind_defs.ml ├── ind_types.ml ├── int.ml ├── itab.ml ├── iterate.ml ├── lib.ml ├── lists.ml ├── make.ml ├── meson.ml ├── metis.ml ├── metis ├── active.ml ├── atom.ml ├── atom_net.ml ├── clause.ml ├── formula.ml ├── heap.ml ├── knuth_bendix.ml ├── literal.ml ├── literal_net.ml ├── loop.ml ├── math.ml ├── metis_debug.ml ├── metis_generate.ml ├── metis_mapping.ml ├── metis_path.ml ├── metis_reconstruct2.ml ├── metis_rules.ml ├── metis_unify.ml ├── mmap.ml ├── model.ml ├── mset.ml ├── name.ml ├── name_arity.ml ├── pmap.ml ├── portable.ml ├── preterm.ml ├── proof.ml ├── pset.ml ├── random.ml ├── resolution.ml ├── rewrite.ml ├── rule.ml ├── sharing.ml ├── substitute.ml ├── subsume.ml ├── term.ml ├── term_net.ml ├── thm.ml ├── units.ml └── waiting.ml ├── miz3 ├── ERRORS ├── README ├── Samples │ ├── NEEDS │ ├── bug0.ml │ ├── bug1.ml │ ├── bug2.ml │ ├── bug3.ml │ ├── drinker.ml │ ├── forster.ml │ ├── icms.ml │ ├── irrat2.ml │ ├── lagrange.ml │ ├── lagrange1.ml │ ├── luxury.ml │ ├── other_mizs.ml │ ├── robbins.ml │ ├── sample.ml │ ├── samples.ml │ ├── talk.ml │ ├── tobias.ml │ └── wishes.ml ├── bin │ ├── miz3 │ ├── miz3e │ └── miz3f ├── exrc ├── grammar │ └── miz3.y ├── make.ml ├── miz3.ml ├── miz3_of_hol.ml └── test.ml ├── nets.ml ├── normalizer.ml ├── nums.ml ├── pa_j_3.07.ml ├── pa_j_3.08.ml ├── pa_j_3.09.ml ├── pa_j_3.1x_5.xx.ml ├── pa_j_3.1x_6.02.1.ml ├── pa_j_3.1x_6.02.2.ml ├── pa_j_3.1x_6.11.ml ├── pa_j_3.1x_6.xx.ml ├── pa_j_4.xx_7.06.ml ├── pa_j_4.xx_7.xx.ml ├── pair.ml ├── parser.ml ├── preterm.ml ├── printer.ml ├── quot.ml ├── real.ml ├── realarith.ml ├── realax.ml ├── recursion.ml ├── sets.ml ├── simp.ml ├── system.ml ├── tactics.ml ├── thecops.ml ├── theorems.ml ├── trivia.ml ├── update_database_3.ml ├── update_database_4.ml └── wf.ml /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/.gitignore -------------------------------------------------------------------------------- /100/arithmetic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/arithmetic.ml -------------------------------------------------------------------------------- /100/ballot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/ballot.ml -------------------------------------------------------------------------------- /100/bernoulli.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/bernoulli.ml -------------------------------------------------------------------------------- /100/bertrand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/bertrand.ml -------------------------------------------------------------------------------- /100/birthday.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/birthday.ml -------------------------------------------------------------------------------- /100/cantor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/cantor.ml -------------------------------------------------------------------------------- /100/cayley_hamilton.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/cayley_hamilton.ml -------------------------------------------------------------------------------- /100/ceva.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/ceva.ml -------------------------------------------------------------------------------- /100/chords.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/chords.ml -------------------------------------------------------------------------------- /100/circle.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/circle.ml -------------------------------------------------------------------------------- /100/combinations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/combinations.ml -------------------------------------------------------------------------------- /100/constructible.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/constructible.ml -------------------------------------------------------------------------------- /100/cosine.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/cosine.ml -------------------------------------------------------------------------------- /100/cubic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/cubic.ml -------------------------------------------------------------------------------- /100/derangements.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/derangements.ml -------------------------------------------------------------------------------- /100/desargues.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/desargues.ml -------------------------------------------------------------------------------- /100/descartes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/descartes.ml -------------------------------------------------------------------------------- /100/dirichlet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/dirichlet.ml -------------------------------------------------------------------------------- /100/div3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/div3.ml -------------------------------------------------------------------------------- /100/divharmonic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/divharmonic.ml -------------------------------------------------------------------------------- /100/euler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/euler.ml -------------------------------------------------------------------------------- /100/feuerbach.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/feuerbach.ml -------------------------------------------------------------------------------- /100/four_squares.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/four_squares.ml -------------------------------------------------------------------------------- /100/fourier.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/fourier.ml -------------------------------------------------------------------------------- /100/friendship.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/friendship.ml -------------------------------------------------------------------------------- /100/fta.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/fta.ml -------------------------------------------------------------------------------- /100/gcd.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/gcd.ml -------------------------------------------------------------------------------- /100/heron.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/heron.ml -------------------------------------------------------------------------------- /100/independence.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/independence.ml -------------------------------------------------------------------------------- /100/isosceles.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/isosceles.ml -------------------------------------------------------------------------------- /100/konigsberg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/konigsberg.ml -------------------------------------------------------------------------------- /100/lagrange.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/lagrange.ml -------------------------------------------------------------------------------- /100/leibniz.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/leibniz.ml -------------------------------------------------------------------------------- /100/lhopital.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/lhopital.ml -------------------------------------------------------------------------------- /100/liouville.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/liouville.ml -------------------------------------------------------------------------------- /100/minkowski.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/minkowski.ml -------------------------------------------------------------------------------- /100/morley.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/morley.ml -------------------------------------------------------------------------------- /100/pascal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/pascal.ml -------------------------------------------------------------------------------- /100/perfect.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/perfect.ml -------------------------------------------------------------------------------- /100/pick.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/pick.ml -------------------------------------------------------------------------------- /100/piseries.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/piseries.ml -------------------------------------------------------------------------------- /100/platonic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/platonic.ml -------------------------------------------------------------------------------- /100/pnt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/pnt.ml -------------------------------------------------------------------------------- /100/polyhedron.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/polyhedron.ml -------------------------------------------------------------------------------- /100/primerecip.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/primerecip.ml -------------------------------------------------------------------------------- /100/ptolemy.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/ptolemy.ml -------------------------------------------------------------------------------- /100/pythagoras.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/pythagoras.ml -------------------------------------------------------------------------------- /100/quartic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/quartic.ml -------------------------------------------------------------------------------- /100/ramsey.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/ramsey.ml -------------------------------------------------------------------------------- /100/ratcountable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/ratcountable.ml -------------------------------------------------------------------------------- /100/reciprocity.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/reciprocity.ml -------------------------------------------------------------------------------- /100/sqrt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/sqrt.ml -------------------------------------------------------------------------------- /100/stirling.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/stirling.ml -------------------------------------------------------------------------------- /100/subsequence.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/subsequence.ml -------------------------------------------------------------------------------- /100/thales.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/thales.ml -------------------------------------------------------------------------------- /100/triangular.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/triangular.ml -------------------------------------------------------------------------------- /100/two_squares.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/two_squares.ml -------------------------------------------------------------------------------- /100/wilson.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/100/wilson.ml -------------------------------------------------------------------------------- /Arithmetic/derived.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Arithmetic/derived.ml -------------------------------------------------------------------------------- /Arithmetic/fol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Arithmetic/fol.ml -------------------------------------------------------------------------------- /Arithmetic/godel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Arithmetic/godel.ml -------------------------------------------------------------------------------- /Arithmetic/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Arithmetic/make.ml -------------------------------------------------------------------------------- /Arithmetic/pa.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Arithmetic/pa.ml -------------------------------------------------------------------------------- /Arithmetic/tarski.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Arithmetic/tarski.ml -------------------------------------------------------------------------------- /Boyer_Moore/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Boyer_Moore/README -------------------------------------------------------------------------------- /Boyer_Moore/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Boyer_Moore/main.ml -------------------------------------------------------------------------------- /Boyer_Moore/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Boyer_Moore/make.ml -------------------------------------------------------------------------------- /Boyer_Moore/shells.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Boyer_Moore/shells.ml -------------------------------------------------------------------------------- /Boyer_Moore/support.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Boyer_Moore/support.ml -------------------------------------------------------------------------------- /CHANGES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/CHANGES -------------------------------------------------------------------------------- /Complex/cpoly.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Complex/cpoly.ml -------------------------------------------------------------------------------- /Complex/fundamental.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Complex/fundamental.ml -------------------------------------------------------------------------------- /Complex/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Complex/make.ml -------------------------------------------------------------------------------- /Complex/quelim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Complex/quelim.ml -------------------------------------------------------------------------------- /EC/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/README -------------------------------------------------------------------------------- /EC/computegroup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/computegroup.ml -------------------------------------------------------------------------------- /EC/curve25519.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/curve25519.ml -------------------------------------------------------------------------------- /EC/edmont.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/edmont.ml -------------------------------------------------------------------------------- /EC/edwards.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/edwards.ml -------------------------------------------------------------------------------- /EC/edwards25519.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/edwards25519.ml -------------------------------------------------------------------------------- /EC/edwards448.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/edwards448.ml -------------------------------------------------------------------------------- /EC/excluderoots.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/excluderoots.ml -------------------------------------------------------------------------------- /EC/family25519.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/family25519.ml -------------------------------------------------------------------------------- /EC/jacobian.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/jacobian.ml -------------------------------------------------------------------------------- /EC/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/make.ml -------------------------------------------------------------------------------- /EC/misc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/misc.ml -------------------------------------------------------------------------------- /EC/montgomery.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/montgomery.ml -------------------------------------------------------------------------------- /EC/montwe.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/montwe.ml -------------------------------------------------------------------------------- /EC/nistp192.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/nistp192.ml -------------------------------------------------------------------------------- /EC/nistp224.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/nistp224.ml -------------------------------------------------------------------------------- /EC/nistp256.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/nistp256.ml -------------------------------------------------------------------------------- /EC/nistp384.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/nistp384.ml -------------------------------------------------------------------------------- /EC/nistp521.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/nistp521.ml -------------------------------------------------------------------------------- /EC/projective.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/projective.ml -------------------------------------------------------------------------------- /EC/secp192k1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/secp192k1.ml -------------------------------------------------------------------------------- /EC/secp224k1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/secp224k1.ml -------------------------------------------------------------------------------- /EC/secp256k1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/secp256k1.ml -------------------------------------------------------------------------------- /EC/wei25519.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/wei25519.ml -------------------------------------------------------------------------------- /EC/weierstrass.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/weierstrass.ml -------------------------------------------------------------------------------- /EC/xzprojective.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/EC/xzprojective.ml -------------------------------------------------------------------------------- /Examples/borsuk.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/borsuk.ml -------------------------------------------------------------------------------- /Examples/combin.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/combin.ml -------------------------------------------------------------------------------- /Examples/cong.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/cong.ml -------------------------------------------------------------------------------- /Examples/cooper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/cooper.ml -------------------------------------------------------------------------------- /Examples/dickson.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/dickson.ml -------------------------------------------------------------------------------- /Examples/dlo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/dlo.ml -------------------------------------------------------------------------------- /Examples/forster.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/forster.ml -------------------------------------------------------------------------------- /Examples/hol88.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/hol88.ml -------------------------------------------------------------------------------- /Examples/holby.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/holby.ml -------------------------------------------------------------------------------- /Examples/kb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/kb.ml -------------------------------------------------------------------------------- /Examples/machin.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/machin.ml -------------------------------------------------------------------------------- /Examples/mangoldt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/mangoldt.ml -------------------------------------------------------------------------------- /Examples/mccarthy.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/mccarthy.ml -------------------------------------------------------------------------------- /Examples/mizar.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/mizar.ml -------------------------------------------------------------------------------- /Examples/multiwf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/multiwf.ml -------------------------------------------------------------------------------- /Examples/padics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/padics.ml -------------------------------------------------------------------------------- /Examples/pell.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/pell.ml -------------------------------------------------------------------------------- /Examples/polylog.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/polylog.ml -------------------------------------------------------------------------------- /Examples/prog.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/prog.ml -------------------------------------------------------------------------------- /Examples/prover9.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/prover9.ml -------------------------------------------------------------------------------- /Examples/rectypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/rectypes.ml -------------------------------------------------------------------------------- /Examples/reduct.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/reduct.ml -------------------------------------------------------------------------------- /Examples/solovay.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/solovay.ml -------------------------------------------------------------------------------- /Examples/sos.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/sos.ml -------------------------------------------------------------------------------- /Examples/ste.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/ste.ml -------------------------------------------------------------------------------- /Examples/vitali.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/vitali.ml -------------------------------------------------------------------------------- /Examples/zolotarev.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Examples/zolotarev.ml -------------------------------------------------------------------------------- /Formal_ineqs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Formal_ineqs/README.md -------------------------------------------------------------------------------- /Formal_ineqs/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Formal_ineqs/make.ml -------------------------------------------------------------------------------- /Functionspaces/L2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Functionspaces/L2.ml -------------------------------------------------------------------------------- /Functionspaces/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Functionspaces/README -------------------------------------------------------------------------------- /Functionspaces/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Functionspaces/make.ml -------------------------------------------------------------------------------- /GL/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/GL/COPYING -------------------------------------------------------------------------------- /GL/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/GL/README.md -------------------------------------------------------------------------------- /GL/completeness.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/GL/completeness.ml -------------------------------------------------------------------------------- /GL/decid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/GL/decid.ml -------------------------------------------------------------------------------- /GL/gl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/GL/gl.ml -------------------------------------------------------------------------------- /GL/k4lr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/GL/k4lr.ml -------------------------------------------------------------------------------- /GL/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/GL/make.ml -------------------------------------------------------------------------------- /GL/misc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/GL/misc.ml -------------------------------------------------------------------------------- /GL/modal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/GL/modal.ml -------------------------------------------------------------------------------- /GL/tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/GL/tests.ml -------------------------------------------------------------------------------- /Help/.joinparsers.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/.joinparsers.doc -------------------------------------------------------------------------------- /Help/.orparser.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/.orparser.doc -------------------------------------------------------------------------------- /Help/.pipeparser.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/.pipeparser.doc -------------------------------------------------------------------------------- /Help/.singlefun.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/.singlefun.doc -------------------------------------------------------------------------------- /Help/.upto.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/.upto.doc -------------------------------------------------------------------------------- /Help/.valmod.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/.valmod.doc -------------------------------------------------------------------------------- /Help/ABBREV_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ABBREV_TAC.doc -------------------------------------------------------------------------------- /Help/ABS.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ABS.doc -------------------------------------------------------------------------------- /Help/ABS_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ABS_CONV.doc -------------------------------------------------------------------------------- /Help/ABS_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ABS_TAC.doc -------------------------------------------------------------------------------- /Help/AC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/AC.doc -------------------------------------------------------------------------------- /Help/ACCEPT_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ACCEPT_TAC.doc -------------------------------------------------------------------------------- /Help/ADD_ASSUM.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ADD_ASSUM.doc -------------------------------------------------------------------------------- /Help/ALL_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ALL_CONV.doc -------------------------------------------------------------------------------- /Help/ALL_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ALL_TAC.doc -------------------------------------------------------------------------------- /Help/ALL_THEN.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ALL_THEN.doc -------------------------------------------------------------------------------- /Help/ALPHA_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ALPHA_CONV.doc -------------------------------------------------------------------------------- /Help/ANTE_RES_THEN.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ANTE_RES_THEN.doc -------------------------------------------------------------------------------- /Help/ANTS_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ANTS_TAC.doc -------------------------------------------------------------------------------- /Help/AP_TERM.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/AP_TERM.doc -------------------------------------------------------------------------------- /Help/AP_TERM_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/AP_TERM_TAC.doc -------------------------------------------------------------------------------- /Help/AP_THM.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/AP_THM.doc -------------------------------------------------------------------------------- /Help/AP_THM_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/AP_THM_TAC.doc -------------------------------------------------------------------------------- /Help/ARITH_RULE.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ARITH_RULE.doc -------------------------------------------------------------------------------- /Help/ARITH_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ARITH_TAC.doc -------------------------------------------------------------------------------- /Help/ASM.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ASM.doc -------------------------------------------------------------------------------- /Help/ASM_ARITH_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ASM_ARITH_TAC.doc -------------------------------------------------------------------------------- /Help/ASM_CASES_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ASM_CASES_TAC.doc -------------------------------------------------------------------------------- /Help/ASM_FOL_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ASM_FOL_TAC.doc -------------------------------------------------------------------------------- /Help/ASM_MESON_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ASM_MESON_TAC.doc -------------------------------------------------------------------------------- /Help/ASM_METIS_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ASM_METIS_TAC.doc -------------------------------------------------------------------------------- /Help/ASM_SIMP_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ASM_SIMP_TAC.doc -------------------------------------------------------------------------------- /Help/ASSOC_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ASSOC_CONV.doc -------------------------------------------------------------------------------- /Help/ASSUME.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ASSUME.doc -------------------------------------------------------------------------------- /Help/ASSUME_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ASSUME_TAC.doc -------------------------------------------------------------------------------- /Help/ASSUM_LIST.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ASSUM_LIST.doc -------------------------------------------------------------------------------- /Help/BETA.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/BETA.doc -------------------------------------------------------------------------------- /Help/BETAS_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/BETAS_CONV.doc -------------------------------------------------------------------------------- /Help/BETA_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/BETA_CONV.doc -------------------------------------------------------------------------------- /Help/BETA_RULE.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/BETA_RULE.doc -------------------------------------------------------------------------------- /Help/BETA_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/BETA_TAC.doc -------------------------------------------------------------------------------- /Help/BINDER_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/BINDER_CONV.doc -------------------------------------------------------------------------------- /Help/BINOP2_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/BINOP2_CONV.doc -------------------------------------------------------------------------------- /Help/BINOP_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/BINOP_CONV.doc -------------------------------------------------------------------------------- /Help/BINOP_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/BINOP_TAC.doc -------------------------------------------------------------------------------- /Help/C.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/C.doc -------------------------------------------------------------------------------- /Help/CACHE_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CACHE_CONV.doc -------------------------------------------------------------------------------- /Help/CCONTR.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CCONTR.doc -------------------------------------------------------------------------------- /Help/CHANGED_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CHANGED_CONV.doc -------------------------------------------------------------------------------- /Help/CHANGED_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CHANGED_TAC.doc -------------------------------------------------------------------------------- /Help/CHAR_EQ_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CHAR_EQ_CONV.doc -------------------------------------------------------------------------------- /Help/CHEAT_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CHEAT_TAC.doc -------------------------------------------------------------------------------- /Help/CHOOSE_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CHOOSE_TAC.doc -------------------------------------------------------------------------------- /Help/CHOOSE_THEN.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CHOOSE_THEN.doc -------------------------------------------------------------------------------- /Help/CLAIM_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CLAIM_TAC.doc -------------------------------------------------------------------------------- /Help/CNF_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CNF_CONV.doc -------------------------------------------------------------------------------- /Help/COMB2_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/COMB2_CONV.doc -------------------------------------------------------------------------------- /Help/COMB_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/COMB_CONV.doc -------------------------------------------------------------------------------- /Help/CONJ.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CONJ.doc -------------------------------------------------------------------------------- /Help/CONJUNCT1.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CONJUNCT1.doc -------------------------------------------------------------------------------- /Help/CONJUNCT2.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CONJUNCT2.doc -------------------------------------------------------------------------------- /Help/CONJ_ACI_RULE.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CONJ_ACI_RULE.doc -------------------------------------------------------------------------------- /Help/CONJ_PAIR.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CONJ_PAIR.doc -------------------------------------------------------------------------------- /Help/CONJ_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CONJ_TAC.doc -------------------------------------------------------------------------------- /Help/CONTR.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CONTR.doc -------------------------------------------------------------------------------- /Help/CONTR_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CONTR_TAC.doc -------------------------------------------------------------------------------- /Help/CONV_RULE.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CONV_RULE.doc -------------------------------------------------------------------------------- /Help/CONV_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/CONV_TAC.doc -------------------------------------------------------------------------------- /Help/DENUMERAL.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DENUMERAL.doc -------------------------------------------------------------------------------- /Help/DEPTH_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DEPTH_CONV.doc -------------------------------------------------------------------------------- /Help/DEPTH_SQCONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DEPTH_SQCONV.doc -------------------------------------------------------------------------------- /Help/DESTRUCT_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DESTRUCT_TAC.doc -------------------------------------------------------------------------------- /Help/DIMINDEX_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DIMINDEX_CONV.doc -------------------------------------------------------------------------------- /Help/DIMINDEX_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DIMINDEX_TAC.doc -------------------------------------------------------------------------------- /Help/DISCH.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DISCH.doc -------------------------------------------------------------------------------- /Help/DISCH_ALL.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DISCH_ALL.doc -------------------------------------------------------------------------------- /Help/DISCH_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DISCH_TAC.doc -------------------------------------------------------------------------------- /Help/DISCH_THEN.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DISCH_THEN.doc -------------------------------------------------------------------------------- /Help/DISJ1.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DISJ1.doc -------------------------------------------------------------------------------- /Help/DISJ1_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DISJ1_TAC.doc -------------------------------------------------------------------------------- /Help/DISJ2.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DISJ2.doc -------------------------------------------------------------------------------- /Help/DISJ2_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DISJ2_TAC.doc -------------------------------------------------------------------------------- /Help/DISJ_ACI_RULE.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DISJ_ACI_RULE.doc -------------------------------------------------------------------------------- /Help/DISJ_CASES.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DISJ_CASES.doc -------------------------------------------------------------------------------- /Help/DNF_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/DNF_CONV.doc -------------------------------------------------------------------------------- /Help/EQF_ELIM.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/EQF_ELIM.doc -------------------------------------------------------------------------------- /Help/EQF_INTRO.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/EQF_INTRO.doc -------------------------------------------------------------------------------- /Help/EQT_ELIM.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/EQT_ELIM.doc -------------------------------------------------------------------------------- /Help/EQT_INTRO.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/EQT_INTRO.doc -------------------------------------------------------------------------------- /Help/EQ_IMP_RULE.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/EQ_IMP_RULE.doc -------------------------------------------------------------------------------- /Help/EQ_MP.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/EQ_MP.doc -------------------------------------------------------------------------------- /Help/EQ_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/EQ_TAC.doc -------------------------------------------------------------------------------- /Help/ETA_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ETA_CONV.doc -------------------------------------------------------------------------------- /Help/EVERY.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/EVERY.doc -------------------------------------------------------------------------------- /Help/EVERY_ASSUM.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/EVERY_ASSUM.doc -------------------------------------------------------------------------------- /Help/EVERY_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/EVERY_CONV.doc -------------------------------------------------------------------------------- /Help/EVERY_TCL.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/EVERY_TCL.doc -------------------------------------------------------------------------------- /Help/EXISTENCE.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/EXISTENCE.doc -------------------------------------------------------------------------------- /Help/EXISTS_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/EXISTS_TAC.doc -------------------------------------------------------------------------------- /Help/EXPAND_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/EXPAND_TAC.doc -------------------------------------------------------------------------------- /Help/FAIL_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/FAIL_TAC.doc -------------------------------------------------------------------------------- /Help/FIND_ASSUM.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/FIND_ASSUM.doc -------------------------------------------------------------------------------- /Help/FIRST.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/FIRST.doc -------------------------------------------------------------------------------- /Help/FIRST_ASSUM.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/FIRST_ASSUM.doc -------------------------------------------------------------------------------- /Help/FIRST_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/FIRST_CONV.doc -------------------------------------------------------------------------------- /Help/FIRST_TCL.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/FIRST_TCL.doc -------------------------------------------------------------------------------- /Help/FIRST_X_ASSUM.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/FIRST_X_ASSUM.doc -------------------------------------------------------------------------------- /Help/FIX_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/FIX_TAC.doc -------------------------------------------------------------------------------- /Help/FREEZE_THEN.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/FREEZE_THEN.doc -------------------------------------------------------------------------------- /Help/F_F.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/F_F.doc -------------------------------------------------------------------------------- /Help/GABS_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/GABS_CONV.doc -------------------------------------------------------------------------------- /Help/GEN.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/GEN.doc -------------------------------------------------------------------------------- /Help/GENL.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/GENL.doc -------------------------------------------------------------------------------- /Help/GEN_ALL.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/GEN_ALL.doc -------------------------------------------------------------------------------- /Help/GEN_BETA_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/GEN_BETA_CONV.doc -------------------------------------------------------------------------------- /Help/GEN_MESON_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/GEN_MESON_TAC.doc -------------------------------------------------------------------------------- /Help/GEN_NNF_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/GEN_NNF_CONV.doc -------------------------------------------------------------------------------- /Help/GEN_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/GEN_TAC.doc -------------------------------------------------------------------------------- /Help/GSYM.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/GSYM.doc -------------------------------------------------------------------------------- /Help/HAS_SIZE_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/HAS_SIZE_CONV.doc -------------------------------------------------------------------------------- /Help/HYP_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/HYP_TAC.doc -------------------------------------------------------------------------------- /Help/HYP_UPPERCASE.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/HYP_UPPERCASE.doc -------------------------------------------------------------------------------- /Help/I.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/I.doc -------------------------------------------------------------------------------- /Help/IMP_RES_THEN.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/IMP_RES_THEN.doc -------------------------------------------------------------------------------- /Help/IMP_REWR_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/IMP_REWR_CONV.doc -------------------------------------------------------------------------------- /Help/IMP_TRANS.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/IMP_TRANS.doc -------------------------------------------------------------------------------- /Help/INDUCT_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INDUCT_TAC.doc -------------------------------------------------------------------------------- /Help/INST_TYPE.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INST_TYPE.doc -------------------------------------------------------------------------------- /Help/INTEGER_RULE.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INTEGER_RULE.doc -------------------------------------------------------------------------------- /Help/INTEGER_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INTEGER_TAC.doc -------------------------------------------------------------------------------- /Help/INTRO_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INTRO_TAC.doc -------------------------------------------------------------------------------- /Help/INT_ABS_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_ABS_CONV.doc -------------------------------------------------------------------------------- /Help/INT_ADD_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_ADD_CONV.doc -------------------------------------------------------------------------------- /Help/INT_ARITH.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_ARITH.doc -------------------------------------------------------------------------------- /Help/INT_ARITH_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_ARITH_TAC.doc -------------------------------------------------------------------------------- /Help/INT_EQ_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_EQ_CONV.doc -------------------------------------------------------------------------------- /Help/INT_GE_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_GE_CONV.doc -------------------------------------------------------------------------------- /Help/INT_GT_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_GT_CONV.doc -------------------------------------------------------------------------------- /Help/INT_LE_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_LE_CONV.doc -------------------------------------------------------------------------------- /Help/INT_LT_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_LT_CONV.doc -------------------------------------------------------------------------------- /Help/INT_MAX_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_MAX_CONV.doc -------------------------------------------------------------------------------- /Help/INT_MIN_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_MIN_CONV.doc -------------------------------------------------------------------------------- /Help/INT_MUL_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_MUL_CONV.doc -------------------------------------------------------------------------------- /Help/INT_NEG_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_NEG_CONV.doc -------------------------------------------------------------------------------- /Help/INT_POLY_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_POLY_CONV.doc -------------------------------------------------------------------------------- /Help/INT_POW_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_POW_CONV.doc -------------------------------------------------------------------------------- /Help/INT_RED_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_RED_CONV.doc -------------------------------------------------------------------------------- /Help/INT_RING.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_RING.doc -------------------------------------------------------------------------------- /Help/INT_SGN_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_SGN_CONV.doc -------------------------------------------------------------------------------- /Help/INT_SUB_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/INT_SUB_CONV.doc -------------------------------------------------------------------------------- /Help/ISPEC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ISPEC.doc -------------------------------------------------------------------------------- /Help/ISPECL.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ISPECL.doc -------------------------------------------------------------------------------- /Help/ITAUT.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ITAUT.doc -------------------------------------------------------------------------------- /Help/ITAUT_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ITAUT_TAC.doc -------------------------------------------------------------------------------- /Help/K.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/K.doc -------------------------------------------------------------------------------- /Help/LABEL_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/LABEL_TAC.doc -------------------------------------------------------------------------------- /Help/LAND_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/LAND_CONV.doc -------------------------------------------------------------------------------- /Help/LEANCOP.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/LEANCOP.doc -------------------------------------------------------------------------------- /Help/LEANCOP_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/LEANCOP_TAC.doc -------------------------------------------------------------------------------- /Help/LET_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/LET_TAC.doc -------------------------------------------------------------------------------- /Help/LE_IMP.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/LE_IMP.doc -------------------------------------------------------------------------------- /Help/LIST_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/LIST_CONV.doc -------------------------------------------------------------------------------- /Help/MAP_EVERY.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/MAP_EVERY.doc -------------------------------------------------------------------------------- /Help/MAP_FIRST.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/MAP_FIRST.doc -------------------------------------------------------------------------------- /Help/MATCH_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/MATCH_CONV.doc -------------------------------------------------------------------------------- /Help/MATCH_MP.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/MATCH_MP.doc -------------------------------------------------------------------------------- /Help/MATCH_MP_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/MATCH_MP_TAC.doc -------------------------------------------------------------------------------- /Help/MESON.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/MESON.doc -------------------------------------------------------------------------------- /Help/MESON_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/MESON_TAC.doc -------------------------------------------------------------------------------- /Help/META_SPEC_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/META_SPEC_TAC.doc -------------------------------------------------------------------------------- /Help/METIS.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/METIS.doc -------------------------------------------------------------------------------- /Help/METIS_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/METIS_TAC.doc -------------------------------------------------------------------------------- /Help/MK_COMB_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/MK_COMB_TAC.doc -------------------------------------------------------------------------------- /Help/MOD_DOWN_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/MOD_DOWN_CONV.doc -------------------------------------------------------------------------------- /Help/MONO_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/MONO_TAC.doc -------------------------------------------------------------------------------- /Help/MP.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/MP.doc -------------------------------------------------------------------------------- /Help/MP_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/MP_CONV.doc -------------------------------------------------------------------------------- /Help/MP_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/MP_TAC.doc -------------------------------------------------------------------------------- /Help/NANOCOP.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NANOCOP.doc -------------------------------------------------------------------------------- /Help/NANOCOP_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NANOCOP_TAC.doc -------------------------------------------------------------------------------- /Help/NNFC_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NNFC_CONV.doc -------------------------------------------------------------------------------- /Help/NNF_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NNF_CONV.doc -------------------------------------------------------------------------------- /Help/NOT_ELIM.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NOT_ELIM.doc -------------------------------------------------------------------------------- /Help/NOT_INTRO.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NOT_INTRO.doc -------------------------------------------------------------------------------- /Help/NO_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NO_CONV.doc -------------------------------------------------------------------------------- /Help/NO_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NO_TAC.doc -------------------------------------------------------------------------------- /Help/NO_THEN.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NO_THEN.doc -------------------------------------------------------------------------------- /Help/NUMBER_RULE.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUMBER_RULE.doc -------------------------------------------------------------------------------- /Help/NUMBER_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUMBER_TAC.doc -------------------------------------------------------------------------------- /Help/NUMSEG_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUMSEG_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_ADD_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_ADD_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_DIV_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_DIV_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_EQ_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_EQ_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_EVEN_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_EVEN_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_EXP_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_EXP_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_FACT_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_FACT_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_GE_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_GE_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_GT_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_GT_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_LE_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_LE_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_LT_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_LT_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_MAX_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_MAX_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_MIN_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_MIN_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_MOD_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_MOD_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_MULT_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_MULT_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_ODD_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_ODD_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_PRE_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_PRE_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_RED_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_RED_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_REL_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_REL_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_RING.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_RING.doc -------------------------------------------------------------------------------- /Help/NUM_SUB_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_SUB_CONV.doc -------------------------------------------------------------------------------- /Help/NUM_SUC_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/NUM_SUC_CONV.doc -------------------------------------------------------------------------------- /Help/ONCE_SIMP_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ONCE_SIMP_TAC.doc -------------------------------------------------------------------------------- /Help/ORELSE.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ORELSE.doc -------------------------------------------------------------------------------- /Help/ORELSEC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ORELSEC.doc -------------------------------------------------------------------------------- /Help/ORELSE_TCL.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ORELSE_TCL.doc -------------------------------------------------------------------------------- /Help/PART_MATCH.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/PART_MATCH.doc -------------------------------------------------------------------------------- /Help/PATH_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/PATH_CONV.doc -------------------------------------------------------------------------------- /Help/PAT_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/PAT_CONV.doc -------------------------------------------------------------------------------- /Help/PINST.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/PINST.doc -------------------------------------------------------------------------------- /Help/POP_ASSUM.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/POP_ASSUM.doc -------------------------------------------------------------------------------- /Help/PRENEX_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/PRENEX_CONV.doc -------------------------------------------------------------------------------- /Help/PRESIMP_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/PRESIMP_CONV.doc -------------------------------------------------------------------------------- /Help/PROVE_HYP.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/PROVE_HYP.doc -------------------------------------------------------------------------------- /Help/PURE_SIMP_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/PURE_SIMP_TAC.doc -------------------------------------------------------------------------------- /Help/RAND_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/RAND_CONV.doc -------------------------------------------------------------------------------- /Help/RATOR_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/RATOR_CONV.doc -------------------------------------------------------------------------------- /Help/REAL_ARITH.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/REAL_ARITH.doc -------------------------------------------------------------------------------- /Help/REAL_FIELD.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/REAL_FIELD.doc -------------------------------------------------------------------------------- /Help/REAL_LET_IMP.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/REAL_LET_IMP.doc -------------------------------------------------------------------------------- /Help/REAL_LE_IMP.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/REAL_LE_IMP.doc -------------------------------------------------------------------------------- /Help/REAL_RING.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/REAL_RING.doc -------------------------------------------------------------------------------- /Help/REDEPTH_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/REDEPTH_CONV.doc -------------------------------------------------------------------------------- /Help/REFL.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/REFL.doc -------------------------------------------------------------------------------- /Help/REFL_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/REFL_TAC.doc -------------------------------------------------------------------------------- /Help/REFUTE_THEN.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/REFUTE_THEN.doc -------------------------------------------------------------------------------- /Help/REPEATC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/REPEATC.doc -------------------------------------------------------------------------------- /Help/REPEAT_TCL.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/REPEAT_TCL.doc -------------------------------------------------------------------------------- /Help/REWR_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/REWR_CONV.doc -------------------------------------------------------------------------------- /Help/RING.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/RING.doc -------------------------------------------------------------------------------- /Help/SET_RULE.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SET_RULE.doc -------------------------------------------------------------------------------- /Help/SET_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SET_TAC.doc -------------------------------------------------------------------------------- /Help/SIMP_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SIMP_CONV.doc -------------------------------------------------------------------------------- /Help/SIMP_RULE.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SIMP_RULE.doc -------------------------------------------------------------------------------- /Help/SIMP_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SIMP_TAC.doc -------------------------------------------------------------------------------- /Help/SPEC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SPEC.doc -------------------------------------------------------------------------------- /Help/SPECL.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SPECL.doc -------------------------------------------------------------------------------- /Help/SPEC_ALL.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SPEC_ALL.doc -------------------------------------------------------------------------------- /Help/SPEC_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SPEC_TAC.doc -------------------------------------------------------------------------------- /Help/SPEC_VAR.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SPEC_VAR.doc -------------------------------------------------------------------------------- /Help/STRIP_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/STRIP_TAC.doc -------------------------------------------------------------------------------- /Help/SUBS.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SUBS.doc -------------------------------------------------------------------------------- /Help/SUBST1_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SUBST1_TAC.doc -------------------------------------------------------------------------------- /Help/SUBS_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SUBS_CONV.doc -------------------------------------------------------------------------------- /Help/SUB_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SUB_CONV.doc -------------------------------------------------------------------------------- /Help/SYM.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SYM.doc -------------------------------------------------------------------------------- /Help/SYM_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/SYM_CONV.doc -------------------------------------------------------------------------------- /Help/TAC_PROOF.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/TAC_PROOF.doc -------------------------------------------------------------------------------- /Help/TAUT.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/TAUT.doc -------------------------------------------------------------------------------- /Help/THEN.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/THEN.doc -------------------------------------------------------------------------------- /Help/THENC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/THENC.doc -------------------------------------------------------------------------------- /Help/THENL.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/THENL.doc -------------------------------------------------------------------------------- /Help/THEN_TCL.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/THEN_TCL.doc -------------------------------------------------------------------------------- /Help/TRANS.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/TRANS.doc -------------------------------------------------------------------------------- /Help/TRANS_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/TRANS_TAC.doc -------------------------------------------------------------------------------- /Help/TRY.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/TRY.doc -------------------------------------------------------------------------------- /Help/TRY_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/TRY_CONV.doc -------------------------------------------------------------------------------- /Help/UNDISCH.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/UNDISCH.doc -------------------------------------------------------------------------------- /Help/USE_THEN.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/USE_THEN.doc -------------------------------------------------------------------------------- /Help/VALID.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/VALID.doc -------------------------------------------------------------------------------- /Help/W.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/W.doc -------------------------------------------------------------------------------- /Help/X_GEN_TAC.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/X_GEN_TAC.doc -------------------------------------------------------------------------------- /Help/a.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/a.doc -------------------------------------------------------------------------------- /Help/aconv.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/aconv.doc -------------------------------------------------------------------------------- /Help/allpairs.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/allpairs.doc -------------------------------------------------------------------------------- /Help/alpha.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/alpha.doc -------------------------------------------------------------------------------- /Help/alphaorder.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/alphaorder.doc -------------------------------------------------------------------------------- /Help/apply.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/apply.doc -------------------------------------------------------------------------------- /Help/applyd.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/applyd.doc -------------------------------------------------------------------------------- /Help/assoc.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/assoc.doc -------------------------------------------------------------------------------- /Help/assocd.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/assocd.doc -------------------------------------------------------------------------------- /Help/atleast.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/atleast.doc -------------------------------------------------------------------------------- /Help/aty.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/aty.doc -------------------------------------------------------------------------------- /Help/augment.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/augment.doc -------------------------------------------------------------------------------- /Help/axioms.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/axioms.doc -------------------------------------------------------------------------------- /Help/b.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/b.doc -------------------------------------------------------------------------------- /Help/basic_net.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/basic_net.doc -------------------------------------------------------------------------------- /Help/basic_ss.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/basic_ss.doc -------------------------------------------------------------------------------- /Help/binders.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/binders.doc -------------------------------------------------------------------------------- /Help/binops.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/binops.doc -------------------------------------------------------------------------------- /Help/bndvar.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/bndvar.doc -------------------------------------------------------------------------------- /Help/body.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/body.doc -------------------------------------------------------------------------------- /Help/bool_ty.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/bool_ty.doc -------------------------------------------------------------------------------- /Help/bty.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/bty.doc -------------------------------------------------------------------------------- /Help/butlast.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/butlast.doc -------------------------------------------------------------------------------- /Help/by.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/by.doc -------------------------------------------------------------------------------- /Help/can.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/can.doc -------------------------------------------------------------------------------- /Help/cases.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/cases.doc -------------------------------------------------------------------------------- /Help/check.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/check.doc -------------------------------------------------------------------------------- /Help/checkpoint.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/checkpoint.doc -------------------------------------------------------------------------------- /Help/choose.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/choose.doc -------------------------------------------------------------------------------- /Help/chop_list.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/chop_list.doc -------------------------------------------------------------------------------- /Help/combine.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/combine.doc -------------------------------------------------------------------------------- /Help/concl.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/concl.doc -------------------------------------------------------------------------------- /Help/conjuncts.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/conjuncts.doc -------------------------------------------------------------------------------- /Help/constants.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/constants.doc -------------------------------------------------------------------------------- /Help/copverb.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/copverb.doc -------------------------------------------------------------------------------- /Help/curry.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/curry.doc -------------------------------------------------------------------------------- /Help/decreasing.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/decreasing.doc -------------------------------------------------------------------------------- /Help/deep_alpha.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/deep_alpha.doc -------------------------------------------------------------------------------- /Help/define.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/define.doc -------------------------------------------------------------------------------- /Help/defined.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/defined.doc -------------------------------------------------------------------------------- /Help/dest_abs.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_abs.doc -------------------------------------------------------------------------------- /Help/dest_binop.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_binop.doc -------------------------------------------------------------------------------- /Help/dest_char.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_char.doc -------------------------------------------------------------------------------- /Help/dest_comb.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_comb.doc -------------------------------------------------------------------------------- /Help/dest_cond.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_cond.doc -------------------------------------------------------------------------------- /Help/dest_conj.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_conj.doc -------------------------------------------------------------------------------- /Help/dest_cons.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_cons.doc -------------------------------------------------------------------------------- /Help/dest_const.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_const.doc -------------------------------------------------------------------------------- /Help/dest_disj.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_disj.doc -------------------------------------------------------------------------------- /Help/dest_eq.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_eq.doc -------------------------------------------------------------------------------- /Help/dest_finty.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_finty.doc -------------------------------------------------------------------------------- /Help/dest_gabs.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_gabs.doc -------------------------------------------------------------------------------- /Help/dest_iff.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_iff.doc -------------------------------------------------------------------------------- /Help/dest_imp.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_imp.doc -------------------------------------------------------------------------------- /Help/dest_let.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_let.doc -------------------------------------------------------------------------------- /Help/dest_list.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_list.doc -------------------------------------------------------------------------------- /Help/dest_neg.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_neg.doc -------------------------------------------------------------------------------- /Help/dest_pair.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_pair.doc -------------------------------------------------------------------------------- /Help/dest_thm.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_thm.doc -------------------------------------------------------------------------------- /Help/dest_type.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_type.doc -------------------------------------------------------------------------------- /Help/dest_var.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dest_var.doc -------------------------------------------------------------------------------- /Help/disjuncts.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/disjuncts.doc -------------------------------------------------------------------------------- /Help/do_list.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/do_list.doc -------------------------------------------------------------------------------- /Help/dom.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dom.doc -------------------------------------------------------------------------------- /Help/dpty.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/dpty.doc -------------------------------------------------------------------------------- /Help/e.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/e.doc -------------------------------------------------------------------------------- /Help/el.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/el.doc -------------------------------------------------------------------------------- /Help/elistof.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/elistof.doc -------------------------------------------------------------------------------- /Help/empty_net.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/empty_net.doc -------------------------------------------------------------------------------- /Help/empty_ss.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/empty_ss.doc -------------------------------------------------------------------------------- /Help/end_itlist.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/end_itlist.doc -------------------------------------------------------------------------------- /Help/enter.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/enter.doc -------------------------------------------------------------------------------- /Help/equals_thm.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/equals_thm.doc -------------------------------------------------------------------------------- /Help/exactly.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/exactly.doc -------------------------------------------------------------------------------- /Help/exists.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/exists.doc -------------------------------------------------------------------------------- /Help/explode.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/explode.doc -------------------------------------------------------------------------------- /Help/f_f_.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/f_f_.doc -------------------------------------------------------------------------------- /Help/fail.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/fail.doc -------------------------------------------------------------------------------- /Help/filter.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/filter.doc -------------------------------------------------------------------------------- /Help/find.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/find.doc -------------------------------------------------------------------------------- /Help/find_path.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/find_path.doc -------------------------------------------------------------------------------- /Help/find_term.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/find_term.doc -------------------------------------------------------------------------------- /Help/find_terms.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/find_terms.doc -------------------------------------------------------------------------------- /Help/finished.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/finished.doc -------------------------------------------------------------------------------- /Help/fix.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/fix.doc -------------------------------------------------------------------------------- /Help/flat.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/flat.doc -------------------------------------------------------------------------------- /Help/foldl.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/foldl.doc -------------------------------------------------------------------------------- /Help/foldr.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/foldr.doc -------------------------------------------------------------------------------- /Help/forall.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/forall.doc -------------------------------------------------------------------------------- /Help/forall2.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/forall2.doc -------------------------------------------------------------------------------- /Help/free_in.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/free_in.doc -------------------------------------------------------------------------------- /Help/frees.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/frees.doc -------------------------------------------------------------------------------- /Help/freesin.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/freesin.doc -------------------------------------------------------------------------------- /Help/freesl.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/freesl.doc -------------------------------------------------------------------------------- /Help/funpow.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/funpow.doc -------------------------------------------------------------------------------- /Help/g.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/g.doc -------------------------------------------------------------------------------- /Help/gcd.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/gcd.doc -------------------------------------------------------------------------------- /Help/gcd_num.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/gcd_num.doc -------------------------------------------------------------------------------- /Help/genvar.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/genvar.doc -------------------------------------------------------------------------------- /Help/graph.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/graph.doc -------------------------------------------------------------------------------- /Help/hd.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/hd.doc -------------------------------------------------------------------------------- /Help/help.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/help.doc -------------------------------------------------------------------------------- /Help/help_path.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/help_path.doc -------------------------------------------------------------------------------- /Help/hol_dir.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/hol_dir.doc -------------------------------------------------------------------------------- /Help/hyp.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/hyp.doc -------------------------------------------------------------------------------- /Help/implode.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/implode.doc -------------------------------------------------------------------------------- /Help/increasing.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/increasing.doc -------------------------------------------------------------------------------- /Help/index.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/index.doc -------------------------------------------------------------------------------- /Help/infixes.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/infixes.doc -------------------------------------------------------------------------------- /Help/insert.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/insert.doc -------------------------------------------------------------------------------- /Help/inst.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/inst.doc -------------------------------------------------------------------------------- /Help/inst_goal.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/inst_goal.doc -------------------------------------------------------------------------------- /Help/intersect.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/intersect.doc -------------------------------------------------------------------------------- /Help/is_abs.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_abs.doc -------------------------------------------------------------------------------- /Help/is_binary.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_binary.doc -------------------------------------------------------------------------------- /Help/is_binder.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_binder.doc -------------------------------------------------------------------------------- /Help/is_binop.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_binop.doc -------------------------------------------------------------------------------- /Help/is_comb.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_comb.doc -------------------------------------------------------------------------------- /Help/is_cond.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_cond.doc -------------------------------------------------------------------------------- /Help/is_conj.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_conj.doc -------------------------------------------------------------------------------- /Help/is_cons.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_cons.doc -------------------------------------------------------------------------------- /Help/is_const.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_const.doc -------------------------------------------------------------------------------- /Help/is_disj.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_disj.doc -------------------------------------------------------------------------------- /Help/is_eq.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_eq.doc -------------------------------------------------------------------------------- /Help/is_exists.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_exists.doc -------------------------------------------------------------------------------- /Help/is_forall.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_forall.doc -------------------------------------------------------------------------------- /Help/is_gabs.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_gabs.doc -------------------------------------------------------------------------------- /Help/is_hidden.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_hidden.doc -------------------------------------------------------------------------------- /Help/is_iff.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_iff.doc -------------------------------------------------------------------------------- /Help/is_imp.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_imp.doc -------------------------------------------------------------------------------- /Help/is_let.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_let.doc -------------------------------------------------------------------------------- /Help/is_list.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_list.doc -------------------------------------------------------------------------------- /Help/is_neg.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_neg.doc -------------------------------------------------------------------------------- /Help/is_numeral.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_numeral.doc -------------------------------------------------------------------------------- /Help/is_pair.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_pair.doc -------------------------------------------------------------------------------- /Help/is_prefix.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_prefix.doc -------------------------------------------------------------------------------- /Help/is_select.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_select.doc -------------------------------------------------------------------------------- /Help/is_setenum.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_setenum.doc -------------------------------------------------------------------------------- /Help/is_type.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_type.doc -------------------------------------------------------------------------------- /Help/is_uexists.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_uexists.doc -------------------------------------------------------------------------------- /Help/is_var.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_var.doc -------------------------------------------------------------------------------- /Help/is_vartype.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/is_vartype.doc -------------------------------------------------------------------------------- /Help/isalnum.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/isalnum.doc -------------------------------------------------------------------------------- /Help/isalpha.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/isalpha.doc -------------------------------------------------------------------------------- /Help/isbra.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/isbra.doc -------------------------------------------------------------------------------- /Help/isnum.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/isnum.doc -------------------------------------------------------------------------------- /Help/issep.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/issep.doc -------------------------------------------------------------------------------- /Help/isspace.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/isspace.doc -------------------------------------------------------------------------------- /Help/issymb.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/issymb.doc -------------------------------------------------------------------------------- /Help/it.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/it.doc -------------------------------------------------------------------------------- /Help/itlist.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/itlist.doc -------------------------------------------------------------------------------- /Help/itlist2.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/itlist2.doc -------------------------------------------------------------------------------- /Help/last.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/last.doc -------------------------------------------------------------------------------- /Help/lcm_num.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/lcm_num.doc -------------------------------------------------------------------------------- /Help/leftbin.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/leftbin.doc -------------------------------------------------------------------------------- /Help/length.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/length.doc -------------------------------------------------------------------------------- /Help/let_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/let_CONV.doc -------------------------------------------------------------------------------- /Help/lex.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/lex.doc -------------------------------------------------------------------------------- /Help/lhand.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/lhand.doc -------------------------------------------------------------------------------- /Help/lhs.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/lhs.doc -------------------------------------------------------------------------------- /Help/listof.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/listof.doc -------------------------------------------------------------------------------- /Help/load_path.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/load_path.doc -------------------------------------------------------------------------------- /Help/loads.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/loads.doc -------------------------------------------------------------------------------- /Help/loadt.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/loadt.doc -------------------------------------------------------------------------------- /Help/lookup.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/lookup.doc -------------------------------------------------------------------------------- /Help/make_args.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/make_args.doc -------------------------------------------------------------------------------- /Help/many.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/many.doc -------------------------------------------------------------------------------- /Help/map.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/map.doc -------------------------------------------------------------------------------- /Help/map2.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/map2.doc -------------------------------------------------------------------------------- /Help/mapf.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mapf.doc -------------------------------------------------------------------------------- /Help/mapfilter.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mapfilter.doc -------------------------------------------------------------------------------- /Help/mem.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mem.doc -------------------------------------------------------------------------------- /Help/mem_prime.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mem_prime.doc -------------------------------------------------------------------------------- /Help/merge.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/merge.doc -------------------------------------------------------------------------------- /Help/merge_nets.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/merge_nets.doc -------------------------------------------------------------------------------- /Help/mergesort.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mergesort.doc -------------------------------------------------------------------------------- /Help/meson_skew.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/meson_skew.doc -------------------------------------------------------------------------------- /Help/metisverb.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/metisverb.doc -------------------------------------------------------------------------------- /Help/mk_abs.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_abs.doc -------------------------------------------------------------------------------- /Help/mk_binary.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_binary.doc -------------------------------------------------------------------------------- /Help/mk_binder.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_binder.doc -------------------------------------------------------------------------------- /Help/mk_binop.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_binop.doc -------------------------------------------------------------------------------- /Help/mk_char.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_char.doc -------------------------------------------------------------------------------- /Help/mk_comb.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_comb.doc -------------------------------------------------------------------------------- /Help/mk_cond.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_cond.doc -------------------------------------------------------------------------------- /Help/mk_conj.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_conj.doc -------------------------------------------------------------------------------- /Help/mk_cons.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_cons.doc -------------------------------------------------------------------------------- /Help/mk_const.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_const.doc -------------------------------------------------------------------------------- /Help/mk_disj.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_disj.doc -------------------------------------------------------------------------------- /Help/mk_eq.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_eq.doc -------------------------------------------------------------------------------- /Help/mk_exists.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_exists.doc -------------------------------------------------------------------------------- /Help/mk_finty.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_finty.doc -------------------------------------------------------------------------------- /Help/mk_flist.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_flist.doc -------------------------------------------------------------------------------- /Help/mk_forall.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_forall.doc -------------------------------------------------------------------------------- /Help/mk_fset.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_fset.doc -------------------------------------------------------------------------------- /Help/mk_fthm.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_fthm.doc -------------------------------------------------------------------------------- /Help/mk_fun_ty.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_fun_ty.doc -------------------------------------------------------------------------------- /Help/mk_gabs.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_gabs.doc -------------------------------------------------------------------------------- /Help/mk_icomb.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_icomb.doc -------------------------------------------------------------------------------- /Help/mk_iff.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_iff.doc -------------------------------------------------------------------------------- /Help/mk_imp.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_imp.doc -------------------------------------------------------------------------------- /Help/mk_let.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_let.doc -------------------------------------------------------------------------------- /Help/mk_list.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_list.doc -------------------------------------------------------------------------------- /Help/mk_mconst.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_mconst.doc -------------------------------------------------------------------------------- /Help/mk_neg.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_neg.doc -------------------------------------------------------------------------------- /Help/mk_numeral.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_numeral.doc -------------------------------------------------------------------------------- /Help/mk_pair.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_pair.doc -------------------------------------------------------------------------------- /Help/mk_prover.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_prover.doc -------------------------------------------------------------------------------- /Help/mk_select.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_select.doc -------------------------------------------------------------------------------- /Help/mk_setenum.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_setenum.doc -------------------------------------------------------------------------------- /Help/mk_string.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_string.doc -------------------------------------------------------------------------------- /Help/mk_thm.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_thm.doc -------------------------------------------------------------------------------- /Help/mk_type.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_type.doc -------------------------------------------------------------------------------- /Help/mk_uexists.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_uexists.doc -------------------------------------------------------------------------------- /Help/mk_var.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_var.doc -------------------------------------------------------------------------------- /Help/mk_vartype.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/mk_vartype.doc -------------------------------------------------------------------------------- /Help/name.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/name.doc -------------------------------------------------------------------------------- /Help/name_of.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/name_of.doc -------------------------------------------------------------------------------- /Help/needs.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/needs.doc -------------------------------------------------------------------------------- /Help/net_of_thm.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/net_of_thm.doc -------------------------------------------------------------------------------- /Help/new_axiom.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/new_axiom.doc -------------------------------------------------------------------------------- /Help/new_type.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/new_type.doc -------------------------------------------------------------------------------- /Help/nothing.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/nothing.doc -------------------------------------------------------------------------------- /Help/nsplit.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/nsplit.doc -------------------------------------------------------------------------------- /Help/null_inst.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/null_inst.doc -------------------------------------------------------------------------------- /Help/null_meta.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/null_meta.doc -------------------------------------------------------------------------------- /Help/num_0.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/num_0.doc -------------------------------------------------------------------------------- /Help/num_1.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/num_1.doc -------------------------------------------------------------------------------- /Help/num_10.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/num_10.doc -------------------------------------------------------------------------------- /Help/num_2.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/num_2.doc -------------------------------------------------------------------------------- /Help/num_CONV.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/num_CONV.doc -------------------------------------------------------------------------------- /Help/numdom.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/numdom.doc -------------------------------------------------------------------------------- /Help/numerator.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/numerator.doc -------------------------------------------------------------------------------- /Help/o.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/o.doc -------------------------------------------------------------------------------- /Help/occurs_in.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/occurs_in.doc -------------------------------------------------------------------------------- /Help/omit.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/omit.doc -------------------------------------------------------------------------------- /Help/orelse_.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/orelse_.doc -------------------------------------------------------------------------------- /Help/orelsec_.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/orelsec_.doc -------------------------------------------------------------------------------- /Help/p.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/p.doc -------------------------------------------------------------------------------- /Help/parse_term.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/parse_term.doc -------------------------------------------------------------------------------- /Help/parse_type.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/parse_type.doc -------------------------------------------------------------------------------- /Help/partition.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/partition.doc -------------------------------------------------------------------------------- /Help/possibly.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/possibly.doc -------------------------------------------------------------------------------- /Help/pow10.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/pow10.doc -------------------------------------------------------------------------------- /Help/pow2.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/pow2.doc -------------------------------------------------------------------------------- /Help/prefixes.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/prefixes.doc -------------------------------------------------------------------------------- /Help/print_fpf.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/print_fpf.doc -------------------------------------------------------------------------------- /Help/print_goal.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/print_goal.doc -------------------------------------------------------------------------------- /Help/print_num.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/print_num.doc -------------------------------------------------------------------------------- /Help/print_term.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/print_term.doc -------------------------------------------------------------------------------- /Help/print_thm.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/print_thm.doc -------------------------------------------------------------------------------- /Help/print_type.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/print_type.doc -------------------------------------------------------------------------------- /Help/prove.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/prove.doc -------------------------------------------------------------------------------- /Help/qmap.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/qmap.doc -------------------------------------------------------------------------------- /Help/r.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/r.doc -------------------------------------------------------------------------------- /Help/ran.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ran.doc -------------------------------------------------------------------------------- /Help/rand.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/rand.doc -------------------------------------------------------------------------------- /Help/rator.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/rator.doc -------------------------------------------------------------------------------- /Help/refine.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/refine.doc -------------------------------------------------------------------------------- /Help/remark.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/remark.doc -------------------------------------------------------------------------------- /Help/remove.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/remove.doc -------------------------------------------------------------------------------- /Help/repeat.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/repeat.doc -------------------------------------------------------------------------------- /Help/replicate.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/replicate.doc -------------------------------------------------------------------------------- /Help/report.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/report.doc -------------------------------------------------------------------------------- /Help/rev.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/rev.doc -------------------------------------------------------------------------------- /Help/rev_assoc.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/rev_assoc.doc -------------------------------------------------------------------------------- /Help/rev_assocd.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/rev_assocd.doc -------------------------------------------------------------------------------- /Help/rev_itlist.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/rev_itlist.doc -------------------------------------------------------------------------------- /Help/rhs.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/rhs.doc -------------------------------------------------------------------------------- /Help/rightbin.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/rightbin.doc -------------------------------------------------------------------------------- /Help/rotate.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/rotate.doc -------------------------------------------------------------------------------- /Help/search.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/search.doc -------------------------------------------------------------------------------- /Help/set_eq.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/set_eq.doc -------------------------------------------------------------------------------- /Help/set_goal.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/set_goal.doc -------------------------------------------------------------------------------- /Help/setify.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/setify.doc -------------------------------------------------------------------------------- /Help/shareout.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/shareout.doc -------------------------------------------------------------------------------- /Help/some.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/some.doc -------------------------------------------------------------------------------- /Help/sort.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/sort.doc -------------------------------------------------------------------------------- /Help/splitlist.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/splitlist.doc -------------------------------------------------------------------------------- /Help/ss_of_conv.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ss_of_conv.doc -------------------------------------------------------------------------------- /Help/ss_of_thms.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/ss_of_thms.doc -------------------------------------------------------------------------------- /Help/strip_abs.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/strip_abs.doc -------------------------------------------------------------------------------- /Help/strip_comb.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/strip_comb.doc -------------------------------------------------------------------------------- /Help/strip_gabs.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/strip_gabs.doc -------------------------------------------------------------------------------- /Help/striplist.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/striplist.doc -------------------------------------------------------------------------------- /Help/subset.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/subset.doc -------------------------------------------------------------------------------- /Help/subst.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/subst.doc -------------------------------------------------------------------------------- /Help/subtract.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/subtract.doc -------------------------------------------------------------------------------- /Help/temp_path.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/temp_path.doc -------------------------------------------------------------------------------- /Help/term_match.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/term_match.doc -------------------------------------------------------------------------------- /Help/term_order.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/term_order.doc -------------------------------------------------------------------------------- /Help/term_unify.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/term_unify.doc -------------------------------------------------------------------------------- /Help/term_union.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/term_union.doc -------------------------------------------------------------------------------- /Help/then_.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/then_.doc -------------------------------------------------------------------------------- /Help/then_tcl_.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/then_tcl_.doc -------------------------------------------------------------------------------- /Help/thenc_.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/thenc_.doc -------------------------------------------------------------------------------- /Help/thenl_.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/thenl_.doc -------------------------------------------------------------------------------- /Help/theorems.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/theorems.doc -------------------------------------------------------------------------------- /Help/thm_frees.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/thm_frees.doc -------------------------------------------------------------------------------- /Help/time.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/time.doc -------------------------------------------------------------------------------- /Help/tl.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/tl.doc -------------------------------------------------------------------------------- /Help/top_goal.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/top_goal.doc -------------------------------------------------------------------------------- /Help/top_thm.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/top_thm.doc -------------------------------------------------------------------------------- /Help/tryapplyd.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/tryapplyd.doc -------------------------------------------------------------------------------- /Help/tryfind.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/tryfind.doc -------------------------------------------------------------------------------- /Help/type_match.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/type_match.doc -------------------------------------------------------------------------------- /Help/type_of.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/type_of.doc -------------------------------------------------------------------------------- /Help/type_subst.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/type_subst.doc -------------------------------------------------------------------------------- /Help/type_unify.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/type_unify.doc -------------------------------------------------------------------------------- /Help/types.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/types.doc -------------------------------------------------------------------------------- /Help/tysubst.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/tysubst.doc -------------------------------------------------------------------------------- /Help/tyvars.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/tyvars.doc -------------------------------------------------------------------------------- /Help/uncurry.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/uncurry.doc -------------------------------------------------------------------------------- /Help/undefine.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/undefine.doc -------------------------------------------------------------------------------- /Help/undefined.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/undefined.doc -------------------------------------------------------------------------------- /Help/union.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/union.doc -------------------------------------------------------------------------------- /Help/unions.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/unions.doc -------------------------------------------------------------------------------- /Help/uniq.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/uniq.doc -------------------------------------------------------------------------------- /Help/unzip.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/unzip.doc -------------------------------------------------------------------------------- /Help/use_file.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/use_file.doc -------------------------------------------------------------------------------- /Help/variables.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/variables.doc -------------------------------------------------------------------------------- /Help/variant.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/variant.doc -------------------------------------------------------------------------------- /Help/variants.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/variants.doc -------------------------------------------------------------------------------- /Help/verbose.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/verbose.doc -------------------------------------------------------------------------------- /Help/vfree_in.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/vfree_in.doc -------------------------------------------------------------------------------- /Help/vsubst.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/vsubst.doc -------------------------------------------------------------------------------- /Help/warn.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/warn.doc -------------------------------------------------------------------------------- /Help/zip.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Help/zip.doc -------------------------------------------------------------------------------- /IEEE/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/IEEE/README -------------------------------------------------------------------------------- /IEEE/common.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/IEEE/common.hl -------------------------------------------------------------------------------- /IEEE/fixed.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/IEEE/fixed.hl -------------------------------------------------------------------------------- /IEEE/fixed_thms.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/IEEE/fixed_thms.hl -------------------------------------------------------------------------------- /IEEE/float.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/IEEE/float.hl -------------------------------------------------------------------------------- /IEEE/float_thms.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/IEEE/float_thms.hl -------------------------------------------------------------------------------- /IEEE/ieee.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/IEEE/ieee.hl -------------------------------------------------------------------------------- /IEEE/ieee_thms.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/IEEE/ieee_thms.hl -------------------------------------------------------------------------------- /IEEE/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/IEEE/make.ml -------------------------------------------------------------------------------- /Jordan/float.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Jordan/float.ml -------------------------------------------------------------------------------- /Jordan/lib_ext.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Jordan/lib_ext.ml -------------------------------------------------------------------------------- /Jordan/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Jordan/make.ml -------------------------------------------------------------------------------- /Jordan/real_ext.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Jordan/real_ext.ml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/LICENSE -------------------------------------------------------------------------------- /LP_arith/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/LP_arith/Makefile -------------------------------------------------------------------------------- /LP_arith/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/LP_arith/README -------------------------------------------------------------------------------- /LP_arith/cdd_cert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/LP_arith/cdd_cert.c -------------------------------------------------------------------------------- /LP_arith/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/LP_arith/make.ml -------------------------------------------------------------------------------- /Library/agm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/agm.ml -------------------------------------------------------------------------------- /Library/analysis.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/analysis.ml -------------------------------------------------------------------------------- /Library/binary.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/binary.ml -------------------------------------------------------------------------------- /Library/binomial.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/binomial.ml -------------------------------------------------------------------------------- /Library/bitmatch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/bitmatch.ml -------------------------------------------------------------------------------- /Library/bitsize.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/bitsize.ml -------------------------------------------------------------------------------- /Library/card.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/card.ml -------------------------------------------------------------------------------- /Library/floor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/floor.ml -------------------------------------------------------------------------------- /Library/frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/frag.ml -------------------------------------------------------------------------------- /Library/integer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/integer.ml -------------------------------------------------------------------------------- /Library/isum.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/isum.ml -------------------------------------------------------------------------------- /Library/iter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/iter.ml -------------------------------------------------------------------------------- /Library/jacobi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/jacobi.ml -------------------------------------------------------------------------------- /Library/poly.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/poly.ml -------------------------------------------------------------------------------- /Library/pratt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/pratt.ml -------------------------------------------------------------------------------- /Library/prime.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/prime.ml -------------------------------------------------------------------------------- /Library/products.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/products.ml -------------------------------------------------------------------------------- /Library/q.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/q.ml -------------------------------------------------------------------------------- /Library/rstc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/rstc.ml -------------------------------------------------------------------------------- /Library/transc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/transc.ml -------------------------------------------------------------------------------- /Library/wo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/wo.ml -------------------------------------------------------------------------------- /Library/words.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Library/words.ml -------------------------------------------------------------------------------- /Logic/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/README -------------------------------------------------------------------------------- /Logic/birkhoff.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/birkhoff.ml -------------------------------------------------------------------------------- /Logic/canon.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/canon.ml -------------------------------------------------------------------------------- /Logic/fol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/fol.ml -------------------------------------------------------------------------------- /Logic/fol_prop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/fol_prop.ml -------------------------------------------------------------------------------- /Logic/fole.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/fole.ml -------------------------------------------------------------------------------- /Logic/given.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/given.ml -------------------------------------------------------------------------------- /Logic/givensem.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/givensem.ml -------------------------------------------------------------------------------- /Logic/herbrand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/herbrand.ml -------------------------------------------------------------------------------- /Logic/linear.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/linear.ml -------------------------------------------------------------------------------- /Logic/lpo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/lpo.ml -------------------------------------------------------------------------------- /Logic/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/make.ml -------------------------------------------------------------------------------- /Logic/positive.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/positive.ml -------------------------------------------------------------------------------- /Logic/prenex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/prenex.ml -------------------------------------------------------------------------------- /Logic/prolog.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/prolog.ml -------------------------------------------------------------------------------- /Logic/resolution.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/resolution.ml -------------------------------------------------------------------------------- /Logic/skolem.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/skolem.ml -------------------------------------------------------------------------------- /Logic/support.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/support.ml -------------------------------------------------------------------------------- /Logic/trs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/trs.ml -------------------------------------------------------------------------------- /Logic/unif.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Logic/unif.ml -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Makefile -------------------------------------------------------------------------------- /Minisat/CREDITS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Minisat/CREDITS -------------------------------------------------------------------------------- /Minisat/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Minisat/README -------------------------------------------------------------------------------- /Minisat/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Minisat/make.ml -------------------------------------------------------------------------------- /Minisat/taut.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Minisat/taut.ml -------------------------------------------------------------------------------- /Mizarlight/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Mizarlight/Makefile -------------------------------------------------------------------------------- /Mizarlight/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Mizarlight/make.ml -------------------------------------------------------------------------------- /Mizarlight/miz2a.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Mizarlight/miz2a.ml -------------------------------------------------------------------------------- /Mizarlight/pa_f.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Mizarlight/pa_f.ml -------------------------------------------------------------------------------- /Model/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Model/make.ml -------------------------------------------------------------------------------- /Model/modelset.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Model/modelset.ml -------------------------------------------------------------------------------- /Model/semantics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Model/semantics.ml -------------------------------------------------------------------------------- /Model/syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Model/syntax.ml -------------------------------------------------------------------------------- /Ntrie/ntrie.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Ntrie/ntrie.ml -------------------------------------------------------------------------------- /Permutation/DOC.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Permutation/DOC.txt -------------------------------------------------------------------------------- /Permutation/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Permutation/make.ml -------------------------------------------------------------------------------- /ProofTrace/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/ProofTrace/README -------------------------------------------------------------------------------- /QBF/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/QBF/README -------------------------------------------------------------------------------- /QBF/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/QBF/make.ml -------------------------------------------------------------------------------- /QBF/mygraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/QBF/mygraph.ml -------------------------------------------------------------------------------- /QBF/qbf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/QBF/qbf.ml -------------------------------------------------------------------------------- /QBF/qbfr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/QBF/qbfr.ml -------------------------------------------------------------------------------- /QUICK_REFERENCE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/QUICK_REFERENCE.txt -------------------------------------------------------------------------------- /Quaternions/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Quaternions/COPYING -------------------------------------------------------------------------------- /Quaternions/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Quaternions/make.ml -------------------------------------------------------------------------------- /Quaternions/misc.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Quaternions/misc.hl -------------------------------------------------------------------------------- /README.hol-light: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/README.hol-light -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/README.md -------------------------------------------------------------------------------- /Rqe/asym.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/asym.ml -------------------------------------------------------------------------------- /Rqe/basic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/basic.ml -------------------------------------------------------------------------------- /Rqe/condense.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/condense.ml -------------------------------------------------------------------------------- /Rqe/dedmatrix.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/dedmatrix.ml -------------------------------------------------------------------------------- /Rqe/defs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/defs.ml -------------------------------------------------------------------------------- /Rqe/examples.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/examples.ml -------------------------------------------------------------------------------- /Rqe/inferisign.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/inferisign.ml -------------------------------------------------------------------------------- /Rqe/inferpsign.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/inferpsign.ml -------------------------------------------------------------------------------- /Rqe/lift_qelim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/lift_qelim.ml -------------------------------------------------------------------------------- /Rqe/main_thms.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/main_thms.ml -------------------------------------------------------------------------------- /Rqe/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/make.ml -------------------------------------------------------------------------------- /Rqe/matinsert.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/matinsert.ml -------------------------------------------------------------------------------- /Rqe/pdivides.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/pdivides.ml -------------------------------------------------------------------------------- /Rqe/poly_ext.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/poly_ext.ml -------------------------------------------------------------------------------- /Rqe/rewrites.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/rewrites.ml -------------------------------------------------------------------------------- /Rqe/rol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/rol.ml -------------------------------------------------------------------------------- /Rqe/rqe_lib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/rqe_lib.ml -------------------------------------------------------------------------------- /Rqe/rqe_list.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/rqe_list.ml -------------------------------------------------------------------------------- /Rqe/rqe_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/rqe_main.ml -------------------------------------------------------------------------------- /Rqe/rqe_num.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/rqe_num.ml -------------------------------------------------------------------------------- /Rqe/rqe_real.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/rqe_real.ml -------------------------------------------------------------------------------- /Rqe/signs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/signs.ml -------------------------------------------------------------------------------- /Rqe/signs_thms.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/signs_thms.ml -------------------------------------------------------------------------------- /Rqe/simplify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/simplify.ml -------------------------------------------------------------------------------- /Rqe/testform.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/testform.ml -------------------------------------------------------------------------------- /Rqe/timers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/timers.ml -------------------------------------------------------------------------------- /Rqe/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/util.ml -------------------------------------------------------------------------------- /Rqe/work_thms.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Rqe/work_thms.ml -------------------------------------------------------------------------------- /Tutorial/Vectors.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Tutorial/Vectors.ml -------------------------------------------------------------------------------- /Tutorial/all.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Tutorial/all.ml -------------------------------------------------------------------------------- /Unity/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Unity/README -------------------------------------------------------------------------------- /Unity/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Unity/make.ml -------------------------------------------------------------------------------- /Unity/mk_ensures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Unity/mk_ensures.ml -------------------------------------------------------------------------------- /Unity/mk_leadsto.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Unity/mk_leadsto.ml -------------------------------------------------------------------------------- /Unity/mk_unless.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/Unity/mk_unless.ml -------------------------------------------------------------------------------- /arith.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/arith.ml -------------------------------------------------------------------------------- /basics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/basics.ml -------------------------------------------------------------------------------- /bool.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/bool.ml -------------------------------------------------------------------------------- /cake.S.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/cake.S.patch -------------------------------------------------------------------------------- /calc_int.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/calc_int.ml -------------------------------------------------------------------------------- /calc_num.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/calc_num.ml -------------------------------------------------------------------------------- /calc_rat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/calc_rat.ml -------------------------------------------------------------------------------- /candle: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | ./cake --candle 3 | -------------------------------------------------------------------------------- /candle_boot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/candle_boot.ml -------------------------------------------------------------------------------- /candle_compute.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/candle_compute.ml -------------------------------------------------------------------------------- /candle_kernel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/candle_kernel.ml -------------------------------------------------------------------------------- /candle_nums.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/candle_nums.ml -------------------------------------------------------------------------------- /candle_pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/candle_pretty.ml -------------------------------------------------------------------------------- /canon.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/canon.ml -------------------------------------------------------------------------------- /cart.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/cart.ml -------------------------------------------------------------------------------- /class.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/class.ml -------------------------------------------------------------------------------- /compute.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/compute.ml -------------------------------------------------------------------------------- /database.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/database.ml -------------------------------------------------------------------------------- /define.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/define.ml -------------------------------------------------------------------------------- /doc-to-help.sed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/doc-to-help.sed -------------------------------------------------------------------------------- /drule.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/drule.ml -------------------------------------------------------------------------------- /equal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/equal.ml -------------------------------------------------------------------------------- /firstorder.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/firstorder.ml -------------------------------------------------------------------------------- /fusion.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/fusion.ml -------------------------------------------------------------------------------- /grobner.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/grobner.ml -------------------------------------------------------------------------------- /help.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/help.ml -------------------------------------------------------------------------------- /hol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/hol.ml -------------------------------------------------------------------------------- /holtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/holtest -------------------------------------------------------------------------------- /holtest.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/holtest.mk -------------------------------------------------------------------------------- /holtest_parallel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/holtest_parallel -------------------------------------------------------------------------------- /impconv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/impconv.ml -------------------------------------------------------------------------------- /ind_defs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/ind_defs.ml -------------------------------------------------------------------------------- /ind_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/ind_types.ml -------------------------------------------------------------------------------- /int.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/int.ml -------------------------------------------------------------------------------- /itab.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/itab.ml -------------------------------------------------------------------------------- /iterate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/iterate.ml -------------------------------------------------------------------------------- /lib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/lib.ml -------------------------------------------------------------------------------- /lists.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/lists.ml -------------------------------------------------------------------------------- /make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/make.ml -------------------------------------------------------------------------------- /meson.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/meson.ml -------------------------------------------------------------------------------- /metis.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis.ml -------------------------------------------------------------------------------- /metis/active.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/active.ml -------------------------------------------------------------------------------- /metis/atom.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/atom.ml -------------------------------------------------------------------------------- /metis/atom_net.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/atom_net.ml -------------------------------------------------------------------------------- /metis/clause.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/clause.ml -------------------------------------------------------------------------------- /metis/formula.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/formula.ml -------------------------------------------------------------------------------- /metis/heap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/heap.ml -------------------------------------------------------------------------------- /metis/literal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/literal.ml -------------------------------------------------------------------------------- /metis/loop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/loop.ml -------------------------------------------------------------------------------- /metis/math.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/math.ml -------------------------------------------------------------------------------- /metis/metis_path.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/metis_path.ml -------------------------------------------------------------------------------- /metis/mmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/mmap.ml -------------------------------------------------------------------------------- /metis/model.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/model.ml -------------------------------------------------------------------------------- /metis/mset.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/mset.ml -------------------------------------------------------------------------------- /metis/name.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/name.ml -------------------------------------------------------------------------------- /metis/name_arity.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/name_arity.ml -------------------------------------------------------------------------------- /metis/pmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/pmap.ml -------------------------------------------------------------------------------- /metis/portable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/portable.ml -------------------------------------------------------------------------------- /metis/preterm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/preterm.ml -------------------------------------------------------------------------------- /metis/proof.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/proof.ml -------------------------------------------------------------------------------- /metis/pset.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/pset.ml -------------------------------------------------------------------------------- /metis/random.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/random.ml -------------------------------------------------------------------------------- /metis/resolution.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/resolution.ml -------------------------------------------------------------------------------- /metis/rewrite.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/rewrite.ml -------------------------------------------------------------------------------- /metis/rule.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/rule.ml -------------------------------------------------------------------------------- /metis/sharing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/sharing.ml -------------------------------------------------------------------------------- /metis/substitute.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/substitute.ml -------------------------------------------------------------------------------- /metis/subsume.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/subsume.ml -------------------------------------------------------------------------------- /metis/term.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/term.ml -------------------------------------------------------------------------------- /metis/term_net.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/term_net.ml -------------------------------------------------------------------------------- /metis/thm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/thm.ml -------------------------------------------------------------------------------- /metis/units.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/units.ml -------------------------------------------------------------------------------- /metis/waiting.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/metis/waiting.ml -------------------------------------------------------------------------------- /miz3/ERRORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/miz3/ERRORS -------------------------------------------------------------------------------- /miz3/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/miz3/README -------------------------------------------------------------------------------- /miz3/Samples/NEEDS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/miz3/Samples/NEEDS -------------------------------------------------------------------------------- /miz3/bin/miz3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/miz3/bin/miz3 -------------------------------------------------------------------------------- /miz3/bin/miz3e: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/miz3/bin/miz3e -------------------------------------------------------------------------------- /miz3/bin/miz3f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/miz3/bin/miz3f -------------------------------------------------------------------------------- /miz3/exrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/miz3/exrc -------------------------------------------------------------------------------- /miz3/grammar/miz3.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/miz3/grammar/miz3.y -------------------------------------------------------------------------------- /miz3/make.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/miz3/make.ml -------------------------------------------------------------------------------- /miz3/miz3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/miz3/miz3.ml -------------------------------------------------------------------------------- /miz3/miz3_of_hol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/miz3/miz3_of_hol.ml -------------------------------------------------------------------------------- /miz3/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/miz3/test.ml -------------------------------------------------------------------------------- /nets.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/nets.ml -------------------------------------------------------------------------------- /normalizer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/normalizer.ml -------------------------------------------------------------------------------- /nums.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/nums.ml -------------------------------------------------------------------------------- /pa_j_3.07.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/pa_j_3.07.ml -------------------------------------------------------------------------------- /pa_j_3.08.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/pa_j_3.08.ml -------------------------------------------------------------------------------- /pa_j_3.09.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/pa_j_3.09.ml -------------------------------------------------------------------------------- /pa_j_3.1x_5.xx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/pa_j_3.1x_5.xx.ml -------------------------------------------------------------------------------- /pa_j_3.1x_6.02.1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/pa_j_3.1x_6.02.1.ml -------------------------------------------------------------------------------- /pa_j_3.1x_6.02.2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/pa_j_3.1x_6.02.2.ml -------------------------------------------------------------------------------- /pa_j_3.1x_6.11.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/pa_j_3.1x_6.11.ml -------------------------------------------------------------------------------- /pa_j_3.1x_6.xx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/pa_j_3.1x_6.xx.ml -------------------------------------------------------------------------------- /pa_j_4.xx_7.06.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/pa_j_4.xx_7.06.ml -------------------------------------------------------------------------------- /pa_j_4.xx_7.xx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/pa_j_4.xx_7.xx.ml -------------------------------------------------------------------------------- /pair.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/pair.ml -------------------------------------------------------------------------------- /parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/parser.ml -------------------------------------------------------------------------------- /preterm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/preterm.ml -------------------------------------------------------------------------------- /printer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/printer.ml -------------------------------------------------------------------------------- /quot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/quot.ml -------------------------------------------------------------------------------- /real.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/real.ml -------------------------------------------------------------------------------- /realarith.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/realarith.ml -------------------------------------------------------------------------------- /realax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/realax.ml -------------------------------------------------------------------------------- /recursion.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/recursion.ml -------------------------------------------------------------------------------- /sets.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/sets.ml -------------------------------------------------------------------------------- /simp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/simp.ml -------------------------------------------------------------------------------- /system.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/system.ml -------------------------------------------------------------------------------- /tactics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/tactics.ml -------------------------------------------------------------------------------- /thecops.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/thecops.ml -------------------------------------------------------------------------------- /theorems.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/theorems.ml -------------------------------------------------------------------------------- /trivia.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/trivia.ml -------------------------------------------------------------------------------- /wf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CakeML/candle/HEAD/wf.ml --------------------------------------------------------------------------------