src/HOL/UNITY/Guar.thy
changeset 37819 000049335247
parent 35416 d8d7d1b785af
child 44871 fbfdc5ac86be