Documentation

Every formal document uses XML encoding:

• Requirements
• Data Model
• Algebra
• Use Cases ('twas HTML, now transitioning)
• Minutes (experiment of XDM), as far as possible...

Problems with xmlspec, lost quite some editorial time...