100644 blob 410d5d0ef855814b97ed2aeb70cc3a6e712f3b9b	ABI.h
040000 tree dd4422db9fe45b9d427ef48ed8e3c484097a4b76	ADT
100644 blob 09a8ece077704d6813ac631a6c8b781cf59f7b13	Aliasing.h
100644 blob 7d61e03970ae9dd10713873fb2b8071e8bbd2da0	Cache.h
100644 blob 0e590bd932161c15ebfcdbe56509e03996d01ee1	ConstantConversion.h
100644 blob 8bbb47d3e24521a0f55e50c27ba9bcd5e381f549	Debug.h
100644 blob fdafbf008b617ca1dd79aab0c57ffe2c64dc3aab	Internals.h
100644 blob 8cfa548e2ddf3bdff212205631b3a207fdb18a83	Trees.h
100644 blob 47823a8b65904f3b9d6848c72872d3fa734d7b1d	TypeConversion.h
100644 blob 1428e6b1733f513604b3c2d1eb7881b49b9f935e	gt-cache-4.5.inc
100644 blob 64271047d8403aa444721a13e54ca7fd6e4a63ea	gt-cache-4.6.inc