src/HOL/simpdata.ML
changeset 20380 14f9f2a1caa6
parent 20217 25b068a99d2b
child 20872 528054ca23e3