src/HOL/UNITY/Transformers.thy
changeset 67003 49850a679c2c
parent 63146 f1ecba0272f9
child 67443 3abf6a722518