src/HOL/Library/Sublist.thy
2012-08-29 Christian Sternagel 2012-08-29 dropped ord and bot instance for list prefixes (use locale interpretation instead, which allows users to decide what order to use on lists)
2012-08-29 Christian Sternagel 2012-08-29 added embedding for lists (constant emb)
2012-08-29 Christian Sternagel 2012-08-29 renamed (in Sublist): postfix ~> suffixeq, and dropped infix syntax >>=
2012-08-29 Christian Sternagel 2012-08-29 renamed (in Sublist): prefix ~> prefixeq, strict_prefix ~> prefix
2012-08-29 Christian Sternagel 2012-08-29 renamed theory List_Prefix into Sublist (since it is not only about prefixes)
2008-07-19 bulwahn 2008-07-19 added verification framework for the HeapMonad and quicksort as example for this framework