Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more accurate names; complete coverage of mail addresses;
  3. more standard author_info;
  4. clarified author info and cluster nodes;
  5. more data integrity: name vs. address;
  6. clarified signature: more operations;
  7. clarified signature;
  8. tuned;
  9. more data integrity: name vs. address;
  10. tuned comments;
  11. merged
  12. tuned ATP to use fold_index
  13. tuned sledgehammer to use map_index
Changeset 74939:d4d3dec0970a by wenzelm:
merged
Changeset 74938:f76bf7b5baed by wenzelm:
more accurate names;<br>complete coverage of mail addresses;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74937:450597bdd2d3 by wenzelm:
more standard author_info;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74936:4c166d510b65 by wenzelm:
clarified author info and cluster nodes;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74935:dc62948c6080 by wenzelm:
more data integrity: name vs. address;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74934:f5ad3214bef4 by wenzelm:
clarified signature: more operations;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74933:0f27dcd030b8 by wenzelm:
clarified signature;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74932:1c75f42770b5 by wenzelm:
tuned;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74931:1753dade9a24 by wenzelm:
more data integrity: name vs. address;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74930:e9506503efea by wenzelm:
tuned comments;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74929:a292605f12ef by desharna:
merged
Changeset 74928:482021527d1d by desharna:
tuned ATP to use fold_index
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)
Changeset 74927:e83e92c0bcbd by desharna:
tuned sledgehammer to use map_index
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML (diff)