Admin/Benchmarks/HOL-datatype/Instructions.thy
changeset 39022 ac7774a35bcf
parent 33695 bec342db1bf4