src/HOL/UNITY/SubstAx.thy
changeset 66448 97ad7a583457
parent 63146 f1ecba0272f9
child 67613 ce654b0e6d69