Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. one tiny fix
  3. merged
  4. merged
  5. tidying more messy proofs
  6. merged
  7. more efficient code
  8. merged
  9. command-line tool "isabelle export"; more documentation; tuned;
  10. more efficient query;
  11. more robust: self-export only;
  12. tuned signature;
  13. merged
  14. more "sorted" changes
  15. more "sorted" changes
  16. new def of sorted and sorted_wrt
Changeset 68124:14e0c8904061 by paulson:
merged
Changeset 68123:bdb2837399f1 by paulson _lp15@cam.ac.uk_:
one tiny fix
The file was modified src/HOL/Probability/Fin_Map.thy (diff)
Changeset 68122:a49cf225fc97 by paulson:
merged
Changeset 68121:6e0991ddf0ca by paulson:
merged
Changeset 68120:2f161c6910f7 by paulson _lp15@cam.ac.uk_:
tidying more messy proofs
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Measure.thy (diff)
The file was modified src/HOL/Analysis/Ordered_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
The file was modified src/HOL/Analysis/Tagged_Division.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
Changeset 68119:2b18a770911f by nipkow:
merged
Changeset 68118:aedeef5e6858 by nipkow:
more efficient code
The file was modified src/HOL/List.thy (diff)
Changeset 68117:7e349d1e3c95 by wenzelm:
merged
Changeset 68116:ac82ee617a75 by wenzelm:
command-line tool &quot;isabelle export&quot;;<br>more documentation;<br>tuned;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 68115:23c6ae3dd3a0 by wenzelm:
more efficient query;
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 68114:ce7f35406f37 by wenzelm:
more robust: self-export only;
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
Changeset 68113:c925f53fd1f6 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/export.ML (diff)
Changeset 68112:6a63a4ce756b by nipkow:
merged
Changeset 68111:bdbf759ddbac by nipkow:
more &quot;sorted&quot; changes
The file was modified src/HOL/List.thy (diff)
Changeset 68110:29da75b7e352 by nipkow:
more &quot;sorted&quot; changes
The file was modified src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy (diff)
The file was modified src/HOL/Imperative_HOL/ex/Sorted_List.thy (diff)
Changeset 68109:cebf36c14226 by nipkow:
new def of sorted and sorted_wrt
The file was modified src/HOL/Data_Structures/Binomial_Heap.thy (diff)
The file was modified src/HOL/Data_Structures/Sorted_Less.thy (diff)
The file was modified src/HOL/Data_Structures/Tree234_Set.thy (diff)
The file was modified src/HOL/Data_Structures/Tree23_Set.thy (diff)
The file was modified src/HOL/Library/RBT_Impl.thy (diff)
The file was modified src/HOL/Library/RBT_Set.thy (diff)
The file was modified src/HOL/Library/Tree.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/ex/Bubblesort.thy (diff)
The file was modified src/HOL/ex/MergeSort.thy (diff)
The file was modified src/HOL/ex/Quicksort.thy (diff)