[isabelle-dev] minor generalisation to Imperative_HOL/ex/Imperative_Quicksort, rename Imperative_HOL/ex/Sublist to List_Sublist
jasmin.blanchette at inria.fr
Wed Nov 18 22:21:42 CET 2015
> 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.
More information about the isabelle-dev