resolution.clj
Merge branch 'master' of https://github.com/moerkb/logical-workbench.git

Conflicts:
	src/examples/logelei_2.clj