Admin/Benchmarks/HOL-datatype/IsaMakefile
changeset 14722 8e739a6eaf11
parent 7372 79e911c0c7d1
child 32965 ecb746bca732