Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. NEWS sorted_wrt
  3. added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
  4. merged
  5. Added tag Isabelle2017-RC0 for changeset a5dd01b68218
  6. merged
  7. merged
  8. tackling another nightmare proof
  9. extended TSTP type parser + tuned messages
  10. added debugging function
  11. merged
  12. added Min_mset and Max_mset
  13. NEWS;
Changeset 66436:36a01c02d0ca by nipkow:
merged
Changeset 66435:292680dde314 by nipkow:
NEWS sorted_wrt
The file was modified NEWS (diff)
The file was modified src/Doc/Main/Main_Doc.thy (diff)
Changeset 66434:5d7e770c7d5d by nipkow:
added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
The file was addedsrc/HOL/Data_Structures/Binomial_Heap.thy
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 66433:ad1e8ad9a3ae by wenzelm:
merged
Changeset 66432:3a78bbfe9cf3 by wenzelm:
Added tag Isabelle2017-RC0 for changeset a5dd01b68218
The file was modified .hgtags (diff)
Changeset 66431:8416c3a7a140 by paulson:
merged
Changeset 66430:636c0db8dbf5 by paulson:
merged
Changeset 66429:beaeb40a1217 by paulson _lp15@cam.ac.uk_:
tackling another nightmare proof
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
Changeset 66428:745a43ff2d5f by blanchet:
extended TSTP type parser + tuned messages
The file was modified src/HOL/Tools/ATP/atp_proof.ML (diff)
Changeset 66427:d14e7666d785 by blanchet:
added debugging function
The file was modified src/HOL/Tools/SMT/z3_proof.ML (diff)
Changeset 66426:a5dd01b68218 by nipkow:
merged
Changeset 66425:8756322dc5de by nipkow:
added Min_mset and Max_mset
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)
The file was modified src/HOL/Data_Structures/Priority_Queue.thy (diff)
The file was modified src/HOL/Lattices_Big.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 66424:457da4e299de by wenzelm:
NEWS;
The file was modified NEWS (diff)