o subsets can be used transitively in proofs
o added various set relations in the notation
o added the option to clear the proof cache in the interactive verifier
introduced more set theory into train-station-set.tex, machine 2
Modified the proof obligations of three refinement rules (transitivity, trading and discharge) to make each conjunct into a different proof obligation.