--- a/src/HOL/ROOT Sun May 28 15:46:26 2017 +0200
+++ b/src/HOL/ROOT Mon May 29 09:14:15 2017 +0200
@@ -40,7 +40,7 @@
Prefix_Order
Product_Lexorder
Product_Order
- Sublist_Order
+ Subseq_Order
(*data refinements and dependent applications*)
AList_Mapping
Code_Binary_Nat