src/HOL/eqrule_HOL_data.ML
changeset 15584 3478bb4f93ff
parent 15570 8d8c70b41bab
child 16179 fa7e70be26b0