src/HOL/Decision_Procs/DP_Library.thy
changeset 72198 7ffa26f05c72
parent 55814 aefa1db74d9d
equal deleted inserted replaced
72197:957bf00eff2a 72198:7ffa26f05c72