merge auxiliary files
Merge pull request #43 from benediktahrens/lemmas-to-foundations

merge auxiliary files into one - only files from RC are concerned