Initial files for theory manual.