Moved - specs/tools/prelude to prelude, - prelude patches to prelude/patches/ - the "simple" theory to tests/thy_translation/" - scripts are moved to scripts/
