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
Create methods corresponding to vdm operators as follows
forall
exists
abs
create test data files
create test data
create a method for set comprehension
create/modify test data files
create a method for if expression
create/modify some test data files
create methods for div, rem operator in VdmToBConverter.java
create methods retern true/false in BtoVdmConverter.java
change quote highlight rule
Merge branch 'origin/symphony/test'
Merge branch 'origin/his/solv'
this partly fixes issue #259 but mac and linux is not added
Merge remote-tracking branch 'origin/pvj/main' into ncb/development