Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified antiquotations;
  2. merged
  3. clarified antiquotations; some comments concerning odd "- numeral";
  4. clarified antiquotations;
  5. clarified antiquotations;
  6. merged
  7. tuned TPTP parsing of THF function application
  8. clarified examples;
  9. repaired slip
  10. merged
  11. updated to Zipperposition 2.1
  12. fixed veriT environment variable in sledgehammer's documentation
Changeset 74399:a1d33d1bfb6d by wenzelm:
clarified antiquotations;
The file was modified src/HOL/Nitpick_Examples/Manual_Nits.thy (diff)
The file was modified src/HOL/Nitpick_Examples/Mono_Nits.thy (diff)
The file was modified src/HOL/Nitpick_Examples/minipick.ML (diff)
Changeset 74398:a480ac43f51a by wenzelm:
merged
Changeset 74397:e80c4cde6064 by wenzelm:
clarified antiquotations;<br>some comments concerning odd &quot;- numeral&quot;;
The file was modified src/HOL/Decision_Procs/Approximation.thy (diff)
The file was modified src/HOL/Decision_Procs/Commutative_Ring.thy (diff)
The file was modified src/HOL/Decision_Procs/Conversions.thy (diff)
The file was modified src/HOL/Decision_Procs/Cooper.thy (diff)
The file was modified src/HOL/Decision_Procs/Dense_Linear_Order.thy (diff)
The file was modified src/HOL/Decision_Procs/Ferrack.thy (diff)
The file was modified src/HOL/Decision_Procs/MIR.thy (diff)
The file was modified src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy (diff)
The file was modified src/HOL/Decision_Procs/Reflective_Field.thy (diff)
The file was modified src/HOL/Decision_Procs/approximation.ML (diff)
The file was modified src/HOL/Decision_Procs/approximation_generator.ML (diff)
The file was modified src/HOL/Decision_Procs/cooper_tac.ML (diff)
The file was modified src/HOL/Decision_Procs/ferrack_tac.ML (diff)
The file was modified src/HOL/Decision_Procs/ferrante_rackoff.ML (diff)
The file was modified src/HOL/Decision_Procs/langford.ML (diff)
The file was modified src/HOL/Decision_Procs/mir_tac.ML (diff)
Changeset 74396:dc73f9e6476b by wenzelm:
clarified antiquotations;
The file was modified src/HOL/SPARK/Tools/spark_vcs.ML (diff)
Changeset 74395:5399dfe9141c by wenzelm:
clarified antiquotations;
The file was modified src/HOL/ex/Rewrite_Examples.thy (diff)
The file was modified src/HOL/ex/veriT_Preprocessing.thy (diff)
Changeset 74394:162e63564e5a by desharna:
merged
Changeset 74393:776b74a99449 by desharna:
tuned TPTP parsing of THF function application
The file was modified src/HOL/Tools/ATP/atp_proof.ML (diff)
Changeset 74392:b9331caf92c3 by wenzelm:
clarified examples;
The file was modified NEWS (diff)
Changeset 74391:930047942f46 by haftmann:
repaired slip
The file was modified src/HOL/Bit_Operations.thy (diff)
The file was modified src/HOL/Library/Word.thy (diff)
The file was modified src/HOL/SPARK/SPARK.thy (diff)
Changeset 74390:23db3493478f by desharna:
merged
Changeset 74389:c1583aa3d861 by desharna:
updated to Zipperposition 2.1
The file was modified Admin/components/main (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)
Changeset 74388:d5e034f2c109 by desharna:
fixed veriT environment variable in sledgehammer&#039;s documentation
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)