src/HOL/Library/Type_Length.thy
2016-10-08 haftmann 2016-10-08 dedicated syntax for types with a length
2016-09-01 wenzelm 2016-09-01 clarified session; misc tuning and modernization;