src/HOL/simpdata.ML
changeset 2919 953a47dc0519
parent 2805 6e5b2d6503eb
child 2935 998cb95fdd43