Move classes into separate files#875

keyboardDrummer merged 3 commits into

boogie-org:masterboogie-org/boogie:masterfrom

keyboardDrummer:moveClassesIntoSeparateFileskeyboardDrummer/boogie:moveClassesIntoSeparateFilesCopy head branch name to clipboard