src/HOL/Tools/res_clause.ML
changeset 19046 bc5c6c9b114e
parent 18920 7635e0060cd4
child 19155 b294c097767e