src/HOL/Library/Type_Length.thy
changeset 67003 49850a679c2c
parent 64113 86efd3d4dc98
child 69593 3dda49e08b9d