Summary
- reorganised material on sublists
The file was added | src/HOL/Library/Subseq_Order.thy |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/Main/Main_Doc.thy (diff) |
The file was modified | src/HOL/Codegenerator_Test/Candidates.thy (diff) |
The file was modified | src/HOL/Enum.thy (diff) |
The file was modified | src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy (diff) |
The file was modified | src/HOL/Imperative_HOL/ex/Imperative_Reverse.thy (diff) |
The file was modified | src/HOL/Imperative_HOL/ex/List_Sublist.thy (diff) |
The file was modified | src/HOL/Imperative_HOL/ex/Subarray.thy (diff) |
The file was modified | src/HOL/Library/Sublist.thy (diff) |
The file was modified | src/HOL/List.thy (diff) |
The file was modified | src/HOL/Quickcheck_Exhaustive.thy (diff) |
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/HOL/UNITY/Comp/AllocBase.thy (diff) |
The file was modified | src/HOL/UNITY/Comp/AllocImpl.thy (diff) |
The file was removed | src/HOL/Library/Sublist_Order.thy |