src/HOL/Library/Realizers.thy
6 months ago wenzelm 2019-01-06 isabelle update -u path_cartouches;
18 months ago blanchet 2018-01-02 moved 'realizers' into their own theory, now that they are decupled from the old datatype construction