Everything¶

This is file is not mandatory to be included in the documentation. However, it can be useful to test the compilation of the documentation with all the features enabled.

module everything;

import test;
import isabelle;
import diagrams;