fixed include structure (files should include all needed headers - not more and not less)

[r13523]

[r13522]

[r13521]

[r13517]

changed indentation

[r13516]

[r13515]

[r13514]

[r13513]

removed ugly defined that create simple declarartions
more doxygen docu added

[r13512]

[r13511]

[r13510]

[r13508]

[r13507]

[r13506]

[r13505]

[r13504]

[r13503]

[r13502]

[r13501]

More doxygen comments added.

[r13500]

[r13499]

More doxygen comments added.

[r13498]

[r13497]

[r13496]

[r13495]

[r13494]

[r13493]

[r13492]

[r13491]

[r13489]

[r13488]

indentation changed

[r13487]

[r13486]

[r13485]

[r13484]

[r13483]

[r13482]

The obstack inside a chordal_env was overwritten with an old version, causing lost allocated blocks

[r13480]

[r13479]

[r13478]