src/HOL/Decision_Procs/Cooper.thy
changeset 47255 30a1692557b0
parent 47142 d64fa2ca54b8
child 47432 e1576d13e933