Merge commit '3d6d2a2009e7c2c820e80e79c37ff234ced34493' into jwc
Remove some parallel operators that weren’t supposed to be in CML from
the AST and Parser, and adjust the corresponding tests.
Gone are:
* p || p
* || i @ p(i)
* a || a
* a [| ns | ns |]
* || i @ [ ns ] a(i)
Remove traces of the five parallel operators from the core modules

Gone are:
* p || p
* || i @ p(i)
* a || a
* a [| ns | ns |]
* || i @ [ ns ] a(i)
Fixed Isabelle launch config for Windows - needed Cygwin loc. Mac launch bug has been temporarily fixed.
Merge commit '4501bd43debe77e5fc32c233fd3ccbc0225903ec' into rjp
Remove deleted parallel operators from core.
Cleaned up pog icons.
Merge commit '5fdff585f0756a830b3cb6d466c841e5c82822ee' into rjp
Completing TPUnsupportedCollector and fixing some visitors to reflect this.
added unsupported check back in when calling THY gen
Down to 3 failures
Merge commit '26857d2206748db0f584e3da8c41322a9540798e' into jwc
Down to 2 failures
Merge commit 'e3c0950c6f00babc1dba3985d3c165ae0f7ec598' into jwc
Corrected an incorrect CML typechecker test which tried to get the pre state of a parameter
Fized a syntax error in a cml interpreter test
Removed the CmlOperationValue and instead uses the VDM OperationValue class
Down to 1 error
cleanup
Fixed replication operators for exmpty replication value sets