* [DB_EXT,NEW] New module for makeing assertions of non-present facts.
* [WALLACE,SC] Cleaned the header assertions (HTML requirements, HTTP locations, HTTP handlers).
* [XML,FIX] dtd_file/2 now uses all dtd file search paths (using option solutions=all).