src/HOL/UNITY/Constrains.thy
changeset 67003 49850a679c2c
parent 63146 f1ecba0272f9
child 67613 ce654b0e6d69