src/HOL/Subst/AList.thy
changeset 30549 d2d7874648bd
parent 24823 bfb619994060
child 38140 05691ad74079