Added README for the Dijstra protocol model in VDM-SL
Bump tycho to 0.19.0
Adding two new VDM-SL examples
add methods corresponding vdm operators as follows
comp, **, inverse for map
inds, elems for sequence
add methods corresponding to vdm operators as follows
mod
forall (length of bindlist = 1)
add and delete some comments
merge kel/astv2 at #472a32fb03a6a760420c8ea45ea2ca4487edd0c2
create/modify some test data
Delete some comments
Merge commit 'b7de1cfa17388d5d9bba5d18895c98a0a3460aaa' into his/solv
remove duplicate code
Create methods corresponding to vdm operators as follows
forall
exists
abs
create test data files
Removed duplicate code.
Removed no needed comments.
more duplicate code remove.
Delete many (very) stale bits of documentation
Move the interesting bits of the branding graphics around, delete the
remaining.  The “Overture Components.ppt” file has been moved into PGL’s
jointpub repository.
Delete the quickSheetMaven, as it’s now on the wiki at
https://github.com/overturetool/overture/wiki/Maven-Survival-Guide
(see issue #251, and the previous two commits relate to that as well)
create test data
create a method for set comprehension