Admin/Benchmarks/HOL-record/Record_Benchmark.thy
changeset 45107 76fef3e57004
parent 44640 3e666dcdcd32