src/HOL/simpdata.ML
changeset 2448 61337170db84
parent 2443 a81d4c219c3c
child 2595 548f8ed89a80