hal documents