src/HOL/Library/Prefix_Order.thy
2012-08-30 Christian Sternagel 2012-08-30 added theory instantiating type class order for list prefixes