Tangles files split, is_Tangle added, Link Algebra reworked
is_tangle being worked upon
changes
changes
changes
re-added Tangles.thy
re-added Links.thy
re-added Component_def.thy
deletions
Merge branch 'master' of https://github.com/prathamesh-t/Tangle-Isabelle

Conflicts:
	Link_Algebra.thy
	Links.thy
	Tangle_Algebra.thy
	example.thy
well_definedness proved- example being proved