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

Jasmin Blanchette 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.

Jasmin




More information about the isabelle-dev mailing list