Isabelle formalisation and termination proof of new semantics
Remove unnecessary Maybe
Restore deleted function and document optimisations
Copy license and copyright files from master
Merge updated pull requests #3 and #4
Rename filename to avoid parenthesis
Merge pull request #4
Merge pull request #3
Rename getFreshKey to getFreshLabel
Unify so that fresh identifiers are at least 1
create license notice
thanks!
Update License
Consider subcontract labels when generating fresh one