initial project
refactoring with one int property
split project file in individual experiments
properties can be sets now
properties can be sets now
Merge branch 'project' of github.com:cdmihai/522 into project

Conflicts:
	project/change-propertySet.maude
Merge branch 'project' of github.com:cdmihai/522 into project