Admin/Benchmarks/HOL-datatype/Brackin.thy
changeset 20207 4c57e850e8d5
parent 16417 9bc16273c2d4
child 33695 bec342db1bf4
equal deleted inserted replaced
20206:eb529c6883ec 20207:4c57e850e8d5