src/HOL/Library/Prefix_Order.thy
2015-07-06 wenzelm 2015-07-06 tuned proofs;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-02-19 traytel 2014-02-19 reverted ba7392b52a7c: List_Prefix not needed anymore by codatatypes
2013-11-20 blanchet 2013-11-20 factor 'List_Prefix' out of 'Sublist' and move to 'Main' (needed for codatatypes)
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