Old Revisions These are the older revisons of the current document. To revert to an old revision, select it from below, click Edit this page and save it. __/__/____ __:__ Semantics and verification – removed - external edit (Unknown date) 127.0.0.1 -370 B (current) 23/11/2017 16:07 Semantics and verification – created guiraud +370 B Show differences between selected revisions