Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. thingol: fix abstraction return types in case
  2. merged
  3. tuned; avoided intermediate lists
  4. tuned; avoided intermediate list and list traversal
  5. tuned; avoided intermediate lists
  6. tuned; avoided intermediate list
  7. made 'primcorec' more robust
Changeset 77921:5016262a2384 by stuebinm _stuebinm@disroot.org_:
thingol: fix abstraction return types in case
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 77920:1249dadc9506 by desharna:
merged
Changeset 77919:8734ca279e59 by desharna:
tuned; avoided intermediate lists
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_isar_proof.ML (diff)
Changeset 77918:55b81d14a1b8 by desharna:
tuned; avoided intermediate list and list traversal
The file was modified src/HOL/Tools/ATP/atp_proof.ML (diff)
The file was modified src/HOL/Tools/ATP/atp_util.ML (diff)
Changeset 77917:a1abcf46eb24 by desharna:
tuned; avoided intermediate lists
The file was modified src/HOL/Tools/ATP/atp_proof.ML (diff)
Changeset 77916:ce09ea4c0f93 by desharna:
tuned; avoided intermediate list
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)
Changeset 77915:64beebac04b8 by blanchet:
made 'primcorec' more robust
The file was modified NEWS (diff)
The file was modified src/HOL/Tools/BNF/bnf_gfp_rec_sugar_tactics.ML (diff)