global_types/indiv_examples/OAuth2.gt

global_types/indiv_examples/instrument_control_protocol_A.gt

global_types/indiv_examples/instrument_control_protocol_B.gt

global_types/indiv_examples/late_learning.gt

global_types/indiv_examples/multi_party_game.gt

global_types/indiv_examples/non_compatible.gt

global_types/indiv_examples/streaming.gt

...r_tests/deadlock_characterization_needs_send_state_val.gt

..._tests/example_intro_version_not_projectable_classical.gt

..._for_tests/example_intro_version_projectable_classical.gt

global_types/types_for_tests/final_state_outgoing_receive.gt

.../types_for_tests/first_disagreement_must_be_send_event.gt

global_types/types_for_tests/group_present.gt

...for_tests/mixed_choice_needs_finite_runs_for_necessity.gt

global_types/types_for_tests/odd_even.gt

global_types/types_for_tests/spring_hibernate.gt

global_types/types_for_tests/two_buyer_protocol.gt

...pes/types_for_tests/two_buyer_protocol_inner_recursion.gt

global_types/types_for_tests/two_buyer_protocol_omit_no.gt

..._types/types_for_tests/two_buyer_protocol_subscription.gt