deletions
Merge branch 'master' of https://github.com/prathamesh-t/Tangle-Isabelle

Conflicts:
	Link_Algebra.thy
	Links.thy
	Tangle_Algebra.thy
	example.thy