[isabelle-dev] minor generalisation to Imperative_HOL/ex/Imperative_Quicksort, rename Imperative_HOL/ex/Sublist to List_Sublist

[Jasmin Blanchette]

> On 18.11.2015, at 16:26, Lawrence Paulson <lp15 at cam.ac.uk> wrote:
> 
> These suggestions are worth a discussion. Should we go ahead? Would anybody like to apply this patch and test that everything still works?

I could do it, if nobody has objections.

Jasmin