src/HOL/MiniML/Generalize.thy
changeset 11295 66925f23ac7f
parent 5518 654ead0ba4f7
child 14422 b8da5f258b04