src/HOL/Induct/PropLog.ML
changeset 12486 0ed8bdd883e0
parent 10759 994877ee68cb
equal deleted inserted replaced
12485:3df60299a6d0 12486:0ed8bdd883e0