Admin/Benchmarks/HOL-datatype/ROOT.ML
changeset 20207 4c57e850e8d5
parent 16692 d3416641926f
child 27641 4d7c96b72d49
equal deleted inserted replaced
20206:eb529c6883ec 20207:4c57e850e8d5