src/HOL/UNITY/Constrains.thy
changeset 45802 b16f976db515
parent 45605 a89b4bc311a5
child 58889 5b7a9633cfa8