src/Benchmarks/Record_Benchmark/Record_Benchmark.thy
changeset 65897 94b0da1b242e
parent 62290 658276428cfc
child 67399 eab6ce8368fa
equal deleted inserted replaced
65896:18f5014331a1 65897:94b0da1b242e