src/HOL/Library/Prefix_Order.thy
2012-09-12 wenzelm 2012-09-12 tuned headers;
2012-08-30 Christian Sternagel 2012-08-30 added theory instantiating type class order for list prefixes