Summary
- merged
- renamed prefix* in Library/Sublist
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy (diff) |
The file was modified | src/HOL/Library/Prefix_Order.thy (diff) |
The file was modified | src/HOL/Library/Sublist.thy (diff) |
The file was modified | src/HOL/Unix/Unix.thy (diff) |