src/HOL/indrule.ML
changeset 1228 7d6b0241afab
parent 1190 9d1bdce3a38e
child 1264 3eb91524b938