Initial commit
Add .gitignore
Add trace equivalence specific files.
Add all examples
minor (typo)
minor (todo to remove)
Add length equivalence specfic files
Merge branch 'examples' into develop
Add documentation (should add .tex as well)
Merge branch 'master' of https://github.com/lutcheti/APTE

Conflicts:
	.gitignore