src/HOL/simpdata.ML
changeset 22744 5cbe966d67a2
parent 22147 f4ed4d940d44
child 22838 466599ecf610