src/HOL/ex/sledgehammer_tactics.ML
changeset 47789 71a526ee569a
parent 47773 7292038cad2a
equal deleted inserted replaced
47788:44b33c1e702e 47789:71a526ee569a