Summary
- more robust: avoid race condition wrt. cleanup of ML process, e.g. relevant for "$ISABELLE_TMP/rat.ML" in theory Codegen.Further;
- removed redundant lemma
- merged
- more simp lemmas
- tuned signature;
- tuned message;
- prefer explicit
- merged
- typo
The file was modified | src/Pure/System/isabelle_system.scala (diff) |
The file was modified | src/HOL/Library/Multiset.thy (diff) |
The file was modified | src/HOL/ex/Quicksort.thy (diff) |
The file was modified | src/HOL/Library/Multiset.thy (diff) |
The file was modified | src/Pure/System/progress.scala (diff) |
The file was modified | src/Pure/Thy/thy_resources.scala (diff) |
The file was modified | src/HOL/Library/Multiset.thy (diff) |
The file was modified | src/HOL/ex/Quicksort.thy (diff) |
The file was modified | src/HOL/Library/Multiset.thy (diff) |