src/HOL/UNITY/Constrains.ML
changeset 13145 59bc43b51aa2
parent 9021 5643223dad0a
child 13550 5a176b8dda84