100644 blob 0dcb90203f0a8c36c20c84403242c658e63bdeda	Named.html
100644 blob 0269531d4e58ee378a9cf8a3bdbabed003b6e79d	Names.html
100644 blob 6e43fa1c112d9865d7823ef3dc86b66b8af8ac36	package-descr.html
100644 blob 8db1d7019b1a6eec77ca374b37f0c66a4aaf1c95	package-summary.html