/Polyhedron_decorator.h/1.2/Wed Feb  4 18:32:40 2004//
/Polyhedron_memory_builder.h/1.3/Wed Feb  4 18:32:40 2004//
/Polyhedron_subdivision.h/1.2/Wed Feb  4 18:32:41 2004//
/Polyhedron_subdivision_rules.h/1.4/Wed Feb 11 17:47:02 2004//
D
