Summary
- detect more errors;
- merged
- made sorted fun again
- imported patch sorted
The file was modified | src/Pure/Thy/latex.scala (diff) |
The file was modified | src/HOL/List.thy (diff) |
The file was modified | src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy (diff) |
The file was modified | src/HOL/List.thy (diff) |
The file was modified | src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy (diff) |
The file was modified | src/HOL/ex/Bubblesort.thy (diff) |