File list of package mcrl2 in sid of architecture powerpc

/usr/bin/besinfo
/usr/bin/bespp
/usr/bin/diagraphica
/usr/bin/lps2lts
/usr/bin/lps2pbes
/usr/bin/lps2torx
/usr/bin/lpsactionrename
/usr/bin/lpsbinary
/usr/bin/lpsconfcheck
/usr/bin/lpsconstelm
/usr/bin/lpsinfo
/usr/bin/lpsinvelm
/usr/bin/lpsparelm
/usr/bin/lpsparunfold
/usr/bin/lpspp
/usr/bin/lpsrewr
/usr/bin/lpssim
/usr/bin/lpssumelm
/usr/bin/lpssuminst
/usr/bin/lpsuntime
/usr/bin/lpsxsim
/usr/bin/lts2lps
/usr/bin/lts2pbes
/usr/bin/ltscompare
/usr/bin/ltsconvert
/usr/bin/ltsgraph
/usr/bin/ltsinfo
/usr/bin/ltsview
/usr/bin/mcrl2-gui
/usr/bin/mcrl22lps
/usr/bin/mcrl2compilerewriter
/usr/bin/mcrl2i
/usr/bin/mcrl2xi
/usr/bin/pbes2bes
/usr/bin/pbes2bool
/usr/bin/pbesconstelm
/usr/bin/pbesinfo
/usr/bin/pbesparelm
/usr/bin/pbespgsolve
/usr/bin/pbespp
/usr/bin/pbesrewr
/usr/bin/tracepp
/usr/bin/txt2lps
/usr/bin/txt2pbes
/usr/include/mcrl2/atermpp/algorithm.h
/usr/include/mcrl2/atermpp/aterm.h
/usr/include/mcrl2/atermpp/aterm_appl.h
/usr/include/mcrl2/atermpp/aterm_balanced_tree.h
/usr/include/mcrl2/atermpp/aterm_init.h
/usr/include/mcrl2/atermpp/aterm_int.h
/usr/include/mcrl2/atermpp/aterm_io.h
/usr/include/mcrl2/atermpp/aterm_list.h
/usr/include/mcrl2/atermpp/aterm_string.h
/usr/include/mcrl2/atermpp/container_utility.h
/usr/include/mcrl2/atermpp/convert.h
/usr/include/mcrl2/atermpp/detail/algorithm_impl.h
/usr/include/mcrl2/atermpp/detail/aterm.h
/usr/include/mcrl2/atermpp/detail/aterm_appl.h
/usr/include/mcrl2/atermpp/detail/aterm_appl_implementation.h
/usr/include/mcrl2/atermpp/detail/aterm_appl_iterator.h
/usr/include/mcrl2/atermpp/detail/aterm_implementation.h
/usr/include/mcrl2/atermpp/detail/aterm_int.h
/usr/include/mcrl2/atermpp/detail/aterm_int_implementation.h
/usr/include/mcrl2/atermpp/detail/aterm_io_implementation.h
/usr/include/mcrl2/atermpp/detail/aterm_list.h
/usr/include/mcrl2/atermpp/detail/aterm_list_implementation.h
/usr/include/mcrl2/atermpp/detail/aterm_list_iterator.h
/usr/include/mcrl2/atermpp/detail/aterm_list_utility.h
/usr/include/mcrl2/atermpp/detail/atypes.h
/usr/include/mcrl2/atermpp/detail/function_symbol.h
/usr/include/mcrl2/atermpp/detail/function_symbol_constants.h
/usr/include/mcrl2/atermpp/detail/indexed_set.h
/usr/include/mcrl2/atermpp/detail/type_traits_impl.h
/usr/include/mcrl2/atermpp/detail/utility.h
/usr/include/mcrl2/atermpp/function_symbol.h
/usr/include/mcrl2/atermpp/function_symbol_generator.h
/usr/include/mcrl2/atermpp/indexed_set.h
/usr/include/mcrl2/atermpp/make_list.h
/usr/include/mcrl2/atermpp/set_operations.h
/usr/include/mcrl2/atermpp/shared_subset.h
/usr/include/mcrl2/atermpp/substitute.h
/usr/include/mcrl2/atermpp/type_traits.h
/usr/include/mcrl2/bes/bes2pbes.h
/usr/include/mcrl2/bes/bes_deprecated.h
/usr/include/mcrl2/bes/boolean_equation.h
/usr/include/mcrl2/bes/boolean_equation_system.h
/usr/include/mcrl2/bes/boolean_expression.h
/usr/include/mcrl2/bes/boolean_expression_rewriter.h
/usr/include/mcrl2/bes/builder.h
/usr/include/mcrl2/bes/consistent_correlation.h
/usr/include/mcrl2/bes/detail/bes_algorithm.h
/usr/include/mcrl2/bes/detail/bes_property_map.h
/usr/include/mcrl2/bes/detail/boolean_expression2pbes_expression_traverser.h
/usr/include/mcrl2/bes/detail/boolean_simplify_builder.h
/usr/include/mcrl2/bes/detail/io.h
/usr/include/mcrl2/bes/detail/pbes_expression2boolean_expression_traverser.h
/usr/include/mcrl2/bes/detail/standard_form_traverser.h
/usr/include/mcrl2/bes/find.h
/usr/include/mcrl2/bes/gauss_elimination.h
/usr/include/mcrl2/bes/index_traits.h
/usr/include/mcrl2/bes/io.h
/usr/include/mcrl2/bes/normal_forms.h
/usr/include/mcrl2/bes/parse.h
/usr/include/mcrl2/bes/pbesinst_conversion.h
/usr/include/mcrl2/bes/pg_parse.h
/usr/include/mcrl2/bes/print.h
/usr/include/mcrl2/bes/replace.h
/usr/include/mcrl2/bes/small_progress_measures.h
/usr/include/mcrl2/bes/traverser.h
/usr/include/mcrl2/core/add_binding.h
/usr/include/mcrl2/core/builder.h
/usr/include/mcrl2/core/deprecation.h
/usr/include/mcrl2/core/detail/builder_msvc.inc.h
/usr/include/mcrl2/core/detail/construction_utility.h
/usr/include/mcrl2/core/detail/default_values.h
/usr/include/mcrl2/core/detail/dparser_functions.h
/usr/include/mcrl2/core/detail/function_symbols.h
/usr/include/mcrl2/core/detail/precedence.h
/usr/include/mcrl2/core/detail/print_utility.h
/usr/include/mcrl2/core/detail/soundness_checks.h
/usr/include/mcrl2/core/detail/traverser_msvc.inc.h
/usr/include/mcrl2/core/dparser.h
/usr/include/mcrl2/core/identifier_string.h
/usr/include/mcrl2/core/index_traits.h
/usr/include/mcrl2/core/nil.h
/usr/include/mcrl2/core/parse.h
/usr/include/mcrl2/core/parser_utility.h
/usr/include/mcrl2/core/print.h
/usr/include/mcrl2/core/print_format.h
/usr/include/mcrl2/core/term_traits.h
/usr/include/mcrl2/core/traverser.h
/usr/include/mcrl2/data/abstraction.h
/usr/include/mcrl2/data/add_binding.h
/usr/include/mcrl2/data/alias.h
/usr/include/mcrl2/data/application.h
/usr/include/mcrl2/data/assignment.h
/usr/include/mcrl2/data/bag.h
/usr/include/mcrl2/data/bag_comprehension.h
/usr/include/mcrl2/data/basic_sort.h
/usr/include/mcrl2/data/binder_type.h
/usr/include/mcrl2/data/bool.h
/usr/include/mcrl2/data/builder.h
/usr/include/mcrl2/data/container_sort.h
/usr/include/mcrl2/data/container_type.h
/usr/include/mcrl2/data/data.h
/usr/include/mcrl2/data/data_equation.h
/usr/include/mcrl2/data/data_expression.h
/usr/include/mcrl2/data/data_specification.h
/usr/include/mcrl2/data/detail/assignment_functional.h
/usr/include/mcrl2/data/detail/bdd_prover.h
/usr/include/mcrl2/data/detail/concepts.h
/usr/include/mcrl2/data/detail/data_construction.h
/usr/include/mcrl2/data/detail/data_expression_with_variables.h
/usr/include/mcrl2/data/detail/data_expression_with_variables_traits.h
/usr/include/mcrl2/data/detail/data_functional.h
/usr/include/mcrl2/data/detail/data_property_map.h
/usr/include/mcrl2/data/detail/data_sequence_algorithm.h
/usr/include/mcrl2/data/detail/data_utility.h
/usr/include/mcrl2/data/detail/enumerator_variable_limit.h
/usr/include/mcrl2/data/detail/equal_sorts.h
/usr/include/mcrl2/data/detail/find.h
/usr/include/mcrl2/data/detail/io.h
/usr/include/mcrl2/data/detail/is_untyped.h
/usr/include/mcrl2/data/detail/normalize_sorts_fwd.h
/usr/include/mcrl2/data/detail/one_point_rule_preprocessor.h
/usr/include/mcrl2/data/detail/parse_substitution.h
/usr/include/mcrl2/data/detail/print_parse_check.h
/usr/include/mcrl2/data/detail/print_utility.h
/usr/include/mcrl2/data/detail/prover.h
/usr/include/mcrl2/data/detail/prover/bdd2dot.h
/usr/include/mcrl2/data/detail/prover/bdd_info.h
/usr/include/mcrl2/data/detail/prover/bdd_manipulator.h
/usr/include/mcrl2/data/detail/prover/bdd_path_eliminator.h
/usr/include/mcrl2/data/detail/prover/bdd_simplifier.h
/usr/include/mcrl2/data/detail/prover/formula_checker.h
/usr/include/mcrl2/data/detail/prover/induction.h
/usr/include/mcrl2/data/detail/prover/info.h
/usr/include/mcrl2/data/detail/prover/manipulator.h
/usr/include/mcrl2/data/detail/prover/smt_lib_solver.h
/usr/include/mcrl2/data/detail/prover/smt_solver.h
/usr/include/mcrl2/data/detail/prover/solver_type.h
/usr/include/mcrl2/data/detail/prover/utilities.h
/usr/include/mcrl2/data/detail/rewrite.h
/usr/include/mcrl2/data/detail/rewrite/jitty.h
/usr/include/mcrl2/data/detail/rewrite/jitty_jittyc.h
/usr/include/mcrl2/data/detail/rewrite/jittyc.h
/usr/include/mcrl2/data/detail/rewrite/jittycpreamble.h
/usr/include/mcrl2/data/detail/rewrite/match_tree.h
/usr/include/mcrl2/data/detail/rewrite/nfs_array.h
/usr/include/mcrl2/data/detail/rewrite/with_prover.h
/usr/include/mcrl2/data/detail/rewrite_container.h
/usr/include/mcrl2/data/detail/rewrite_statistics.h
/usr/include/mcrl2/data/detail/rewriter_wrapper.h
/usr/include/mcrl2/data/detail/sequence_algorithm.h
/usr/include/mcrl2/data/detail/sorted_sequence_algorithm.h
/usr/include/mcrl2/data/detail/split_finite_variables.h
/usr/include/mcrl2/data/detail/test_rewriters.h
/usr/include/mcrl2/data/enumerator.h
/usr/include/mcrl2/data/exists.h
/usr/include/mcrl2/data/expression_traits.h
/usr/include/mcrl2/data/fbag.h
/usr/include/mcrl2/data/find.h
/usr/include/mcrl2/data/find_equalities.h
/usr/include/mcrl2/data/forall.h
/usr/include/mcrl2/data/fset.h
/usr/include/mcrl2/data/function_sort.h
/usr/include/mcrl2/data/function_symbol.h
/usr/include/mcrl2/data/function_update.h
/usr/include/mcrl2/data/hash.h
/usr/include/mcrl2/data/identifier_generator.h
/usr/include/mcrl2/data/index_traits.h
/usr/include/mcrl2/data/int.h
/usr/include/mcrl2/data/is_simple_substitution.h
/usr/include/mcrl2/data/join.h
/usr/include/mcrl2/data/lambda.h
/usr/include/mcrl2/data/list.h
/usr/include/mcrl2/data/nat.h
/usr/include/mcrl2/data/normalize_sorts.h
/usr/include/mcrl2/data/parse.h
/usr/include/mcrl2/data/pos.h
/usr/include/mcrl2/data/precedence.h
/usr/include/mcrl2/data/print.h
/usr/include/mcrl2/data/real.h
/usr/include/mcrl2/data/replace.h
/usr/include/mcrl2/data/representative_generator.h
/usr/include/mcrl2/data/rewrite.h
/usr/include/mcrl2/data/rewrite_strategy.h
/usr/include/mcrl2/data/rewriter.h
/usr/include/mcrl2/data/rewriters/data_rewriter.h
/usr/include/mcrl2/data/rewriters/simplify_rewriter.h
/usr/include/mcrl2/data/selection.h
/usr/include/mcrl2/data/set.h
/usr/include/mcrl2/data/set_comprehension.h
/usr/include/mcrl2/data/set_identifier_generator.h
/usr/include/mcrl2/data/sort_expression.h
/usr/include/mcrl2/data/standard.h
/usr/include/mcrl2/data/standard_container_utility.h
/usr/include/mcrl2/data/standard_numbers_utility.h
/usr/include/mcrl2/data/standard_utility.h
/usr/include/mcrl2/data/structured_sort.h
/usr/include/mcrl2/data/structured_sort_constructor.h
/usr/include/mcrl2/data/structured_sort_constructor_argument.h
/usr/include/mcrl2/data/substitutions/assignment_sequence_substitution.h
/usr/include/mcrl2/data/substitutions/data_expression_assignment.h
/usr/include/mcrl2/data/substitutions/enumerator_substitution.h
/usr/include/mcrl2/data/substitutions/map_substitution.h
/usr/include/mcrl2/data/substitutions/mutable_indexed_substitution.h
/usr/include/mcrl2/data/substitutions/mutable_map_substitution.h
/usr/include/mcrl2/data/substitutions/mutable_substitution_composer.h
/usr/include/mcrl2/data/substitutions/no_substitution.h
/usr/include/mcrl2/data/substitutions/pair_sequence_substitution.h
/usr/include/mcrl2/data/substitutions/sequence_sequence_substitution.h
/usr/include/mcrl2/data/substitutions/sort_expression_assignment.h
/usr/include/mcrl2/data/substitutions/variable_assignment.h
/usr/include/mcrl2/data/translate_user_notation.h
/usr/include/mcrl2/data/traverser.h
/usr/include/mcrl2/data/typecheck.h
/usr/include/mcrl2/data/undefined.h
/usr/include/mcrl2/data/untyped_identifier.h
/usr/include/mcrl2/data/untyped_possible_sorts.h
/usr/include/mcrl2/data/untyped_set_or_bag_comprehension.h
/usr/include/mcrl2/data/untyped_sort.h
/usr/include/mcrl2/data/utility.h
/usr/include/mcrl2/data/variable.h
/usr/include/mcrl2/data/where_clause.h
/usr/include/mcrl2/data/xyz_identifier_generator.h
/usr/include/mcrl2/lps/action_rename.h
/usr/include/mcrl2/lps/action_summand.h
/usr/include/mcrl2/lps/add_binding.h
/usr/include/mcrl2/lps/binary.h
/usr/include/mcrl2/lps/builder.h
/usr/include/mcrl2/lps/confluence_checker.h
/usr/include/mcrl2/lps/constelm.h
/usr/include/mcrl2/lps/deadlock.h
/usr/include/mcrl2/lps/deadlock_summand.h
/usr/include/mcrl2/lps/decluster.h
/usr/include/mcrl2/lps/detail/action_utility.h
/usr/include/mcrl2/lps/detail/instantiate_global_variables.h
/usr/include/mcrl2/lps/detail/linear_process_conversion_traverser.h
/usr/include/mcrl2/lps/detail/lps_algorithm.h
/usr/include/mcrl2/lps/detail/lps_parameter_remover.h
/usr/include/mcrl2/lps/detail/lps_well_typed_checker.h
/usr/include/mcrl2/lps/detail/make_timed_lps.h
/usr/include/mcrl2/lps/detail/specification_property_map.h
/usr/include/mcrl2/lps/detail/test_input.h
/usr/include/mcrl2/lps/disjointness_checker.h
/usr/include/mcrl2/lps/find.h
/usr/include/mcrl2/lps/invariant_checker.h
/usr/include/mcrl2/lps/invelm_algorithm.h
/usr/include/mcrl2/lps/io.h
/usr/include/mcrl2/lps/linear_process.h
/usr/include/mcrl2/lps/linearisation_method.h
/usr/include/mcrl2/lps/linearise.h
/usr/include/mcrl2/lps/lpsparunfoldlib.h
/usr/include/mcrl2/lps/ltsmin.h
/usr/include/mcrl2/lps/multi_action.h
/usr/include/mcrl2/lps/multi_action_parse.h
/usr/include/mcrl2/lps/next_state_generator.h
/usr/include/mcrl2/lps/normalize_sorts.h
/usr/include/mcrl2/lps/parelm.h
/usr/include/mcrl2/lps/parse.h
/usr/include/mcrl2/lps/print.h
/usr/include/mcrl2/lps/process_initializer.h
/usr/include/mcrl2/lps/remove.h
/usr/include/mcrl2/lps/replace.h
/usr/include/mcrl2/lps/resolve_name_clashes.h
/usr/include/mcrl2/lps/rewrite.h
/usr/include/mcrl2/lps/rewriters/data_rewriter.h
/usr/include/mcrl2/lps/simulation.h
/usr/include/mcrl2/lps/specification.h
/usr/include/mcrl2/lps/state.h
/usr/include/mcrl2/lps/sumelm.h
/usr/include/mcrl2/lps/suminst.h
/usr/include/mcrl2/lps/summand.h
/usr/include/mcrl2/lps/tools.h
/usr/include/mcrl2/lps/translate_user_notation.h
/usr/include/mcrl2/lps/traverser.h
/usr/include/mcrl2/lps/typecheck.h
/usr/include/mcrl2/lps/untime.h
/usr/include/mcrl2/lps/untyped_multi_action.h
/usr/include/mcrl2/lts/action_label_string.h
/usr/include/mcrl2/lts/detail/bithashtable.h
/usr/include/mcrl2/lts/detail/exploration.h
/usr/include/mcrl2/lts/detail/exploration_strategy.h
/usr/include/mcrl2/lts/detail/liblts_add_an_action_loop.h
/usr/include/mcrl2/lts/detail/liblts_bisim.h
/usr/include/mcrl2/lts/detail/liblts_dotparser.h
/usr/include/mcrl2/lts/detail/liblts_fsmparser.h
/usr/include/mcrl2/lts/detail/liblts_merge.h
/usr/include/mcrl2/lts/detail/liblts_scc.h
/usr/include/mcrl2/lts/detail/liblts_sim.h
/usr/include/mcrl2/lts/detail/liblts_tau_star_reduce.h
/usr/include/mcrl2/lts/detail/liblts_weak_bisim.h
/usr/include/mcrl2/lts/detail/lts_convert.h
/usr/include/mcrl2/lts/detail/lts_generation_options.h
/usr/include/mcrl2/lts/detail/queue.h
/usr/include/mcrl2/lts/detail/sim_hashtable.h
/usr/include/mcrl2/lts/detail/transition.h
/usr/include/mcrl2/lts/detail/tree_set.h
/usr/include/mcrl2/lts/lts.h
/usr/include/mcrl2/lts/lts_algorithm.h
/usr/include/mcrl2/lts/lts_aut.h
/usr/include/mcrl2/lts/lts_bcg.h
/usr/include/mcrl2/lts/lts_dot.h
/usr/include/mcrl2/lts/lts_equivalence.h
/usr/include/mcrl2/lts/lts_fsm.h
/usr/include/mcrl2/lts/lts_io.h
/usr/include/mcrl2/lts/lts_lts.h
/usr/include/mcrl2/lts/lts_preorder.h
/usr/include/mcrl2/lts/lts_utilities.h
/usr/include/mcrl2/lts/parse.h
/usr/include/mcrl2/lts/sigref.h
/usr/include/mcrl2/lts/state_label_empty.h
/usr/include/mcrl2/lts/transition.h
/usr/include/mcrl2/modal_formula/action_formula.h
/usr/include/mcrl2/modal_formula/add_binding.h
/usr/include/mcrl2/modal_formula/algorithms.h
/usr/include/mcrl2/modal_formula/builder.h
/usr/include/mcrl2/modal_formula/count_fixpoints.h
/usr/include/mcrl2/modal_formula/detail/read_text.h
/usr/include/mcrl2/modal_formula/detail/state_formula_accessors.h
/usr/include/mcrl2/modal_formula/detail/test_input.h
/usr/include/mcrl2/modal_formula/find.h
/usr/include/mcrl2/modal_formula/has_name_clashes.h
/usr/include/mcrl2/modal_formula/maximal_closed_subformula.h
/usr/include/mcrl2/modal_formula/monotonicity.h
/usr/include/mcrl2/modal_formula/negate_variables.h
/usr/include/mcrl2/modal_formula/normalize.h
/usr/include/mcrl2/modal_formula/normalize_sorts.h
/usr/include/mcrl2/modal_formula/parse.h
/usr/include/mcrl2/modal_formula/preprocess_state_formula.h
/usr/include/mcrl2/modal_formula/print.h
/usr/include/mcrl2/modal_formula/regular_formula.h
/usr/include/mcrl2/modal_formula/replace.h
/usr/include/mcrl2/modal_formula/resolve_name_clashes.h
/usr/include/mcrl2/modal_formula/rewrite.h
/usr/include/mcrl2/modal_formula/state_formula.h
/usr/include/mcrl2/modal_formula/state_formula_rename.h
/usr/include/mcrl2/modal_formula/translate_regular_formulas.h
/usr/include/mcrl2/modal_formula/translate_user_notation.h
/usr/include/mcrl2/modal_formula/traverser.h
/usr/include/mcrl2/modal_formula/typecheck.h
/usr/include/mcrl2/pbes/absinthe.h
/usr/include/mcrl2/pbes/absinthe_strategy.h
/usr/include/mcrl2/pbes/abstract.h
/usr/include/mcrl2/pbes/add_binding.h
/usr/include/mcrl2/pbes/algorithms.h
/usr/include/mcrl2/pbes/bisimulation.h
/usr/include/mcrl2/pbes/bisimulation_type.h
/usr/include/mcrl2/pbes/builder.h
/usr/include/mcrl2/pbes/complement.h
/usr/include/mcrl2/pbes/complps2pbes.h
/usr/include/mcrl2/pbes/constelm.h
/usr/include/mcrl2/pbes/detail/bes_equation_limit.h
/usr/include/mcrl2/pbes/detail/bqnf2ppg_rewriter.h
/usr/include/mcrl2/pbes/detail/bqnf_quantifier_rewriter.h
/usr/include/mcrl2/pbes/detail/bqnf_traverser.h
/usr/include/mcrl2/pbes/detail/bqnf_visitor.h
/usr/include/mcrl2/pbes/detail/data2pbes_rewriter.h
/usr/include/mcrl2/pbes/detail/find_free_variables.h
/usr/include/mcrl2/pbes/detail/guard_traverser.h
/usr/include/mcrl2/pbes/detail/has_propositional_variables.h
/usr/include/mcrl2/pbes/detail/instantiate_global_variables.h
/usr/include/mcrl2/pbes/detail/io.h
/usr/include/mcrl2/pbes/detail/is_pfnf.h
/usr/include/mcrl2/pbes/detail/is_well_typed.h
/usr/include/mcrl2/pbes/detail/lps2pbes_e.h
/usr/include/mcrl2/pbes/detail/lps2pbes_indenter.h
/usr/include/mcrl2/pbes/detail/lps2pbes_par.h
/usr/include/mcrl2/pbes/detail/lps2pbes_rhs.h
/usr/include/mcrl2/pbes/detail/lps2pbes_sat.h
/usr/include/mcrl2/pbes/detail/lps2pbes_utility.h
/usr/include/mcrl2/pbes/detail/lts2pbes_e.h
/usr/include/mcrl2/pbes/detail/lts2pbes_lts.h
/usr/include/mcrl2/pbes/detail/lts2pbes_rhs.h
/usr/include/mcrl2/pbes/detail/normalize_and_or.h
/usr/include/mcrl2/pbes/detail/occurring_variable_visitor.h
/usr/include/mcrl2/pbes/detail/parity_game_output.h
/usr/include/mcrl2/pbes/detail/pbes_expression_builder_indenter.h
/usr/include/mcrl2/pbes/detail/pbes_functional.h
/usr/include/mcrl2/pbes/detail/pbes_greybox_interface.h
/usr/include/mcrl2/pbes/detail/pbes_parameter_map.h
/usr/include/mcrl2/pbes/detail/pbes_property_map.h
/usr/include/mcrl2/pbes/detail/pfnf_pbes.h
/usr/include/mcrl2/pbes/detail/pfnf_print.h
/usr/include/mcrl2/pbes/detail/pfnf_traverser.h
/usr/include/mcrl2/pbes/detail/ppg_rewriter.h
/usr/include/mcrl2/pbes/detail/ppg_traverser.h
/usr/include/mcrl2/pbes/detail/ppg_visitor.h
/usr/include/mcrl2/pbes/detail/stategraph_algorithm.h
/usr/include/mcrl2/pbes/detail/stategraph_global_algorithm.h
/usr/include/mcrl2/pbes/detail/stategraph_global_graph.h
/usr/include/mcrl2/pbes/detail/stategraph_global_reset_variables.h
/usr/include/mcrl2/pbes/detail/stategraph_graph.h
/usr/include/mcrl2/pbes/detail/stategraph_influence.h
/usr/include/mcrl2/pbes/detail/stategraph_local_algorithm.h
/usr/include/mcrl2/pbes/detail/stategraph_local_reset_variables.h
/usr/include/mcrl2/pbes/detail/stategraph_pbes.h
/usr/include/mcrl2/pbes/detail/stategraph_reset_variables.h
/usr/include/mcrl2/pbes/detail/stategraph_simplify_rewriter.h
/usr/include/mcrl2/pbes/detail/stategraph_utility.h
/usr/include/mcrl2/pbes/detail/symbolic_exploration.h
/usr/include/mcrl2/pbes/detail/term_traits_optimized.h
/usr/include/mcrl2/pbes/detail/test_utility.h
/usr/include/mcrl2/pbes/enumerator.h
/usr/include/mcrl2/pbes/eqelm.h
/usr/include/mcrl2/pbes/equation_index.h
/usr/include/mcrl2/pbes/find.h
/usr/include/mcrl2/pbes/find_equalities.h
/usr/include/mcrl2/pbes/fixpoint_symbol.h
/usr/include/mcrl2/pbes/gauss_elimination.h
/usr/include/mcrl2/pbes/index_traits.h
/usr/include/mcrl2/pbes/io.h
/usr/include/mcrl2/pbes/is_bes.h
/usr/include/mcrl2/pbes/lps2pbes.h
/usr/include/mcrl2/pbes/lts2pbes.h
/usr/include/mcrl2/pbes/monotonicity.h
/usr/include/mcrl2/pbes/normalize.h
/usr/include/mcrl2/pbes/normalize_sorts.h
/usr/include/mcrl2/pbes/parelm.h
/usr/include/mcrl2/pbes/parity_game_generator.h
/usr/include/mcrl2/pbes/parse.h
/usr/include/mcrl2/pbes/pbes.h
/usr/include/mcrl2/pbes/pbes_equation.h
/usr/include/mcrl2/pbes/pbes_explorer.h
/usr/include/mcrl2/pbes/pbes_expression.h
/usr/include/mcrl2/pbes/pbes_functions.h
/usr/include/mcrl2/pbes/pbes_gauss_elimination.h
/usr/include/mcrl2/pbes/pbes_rewriter_type.h
/usr/include/mcrl2/pbes/pbes_solver_test.h
/usr/include/mcrl2/pbes/pbesinst_algorithm.h
/usr/include/mcrl2/pbes/pbesinst_finite_algorithm.h
/usr/include/mcrl2/pbes/pbesinst_strategy.h
/usr/include/mcrl2/pbes/pbesinst_symbolic.h
/usr/include/mcrl2/pbes/pbespgsolve.h
/usr/include/mcrl2/pbes/print.h
/usr/include/mcrl2/pbes/propositional_variable.h
/usr/include/mcrl2/pbes/remove_equations.h
/usr/include/mcrl2/pbes/remove_parameters.h
/usr/include/mcrl2/pbes/replace.h
/usr/include/mcrl2/pbes/rewrite.h
/usr/include/mcrl2/pbes/rewriter.h
/usr/include/mcrl2/pbes/rewriters/bqnf_rewriter.h
/usr/include/mcrl2/pbes/rewriters/data_rewriter.h
/usr/include/mcrl2/pbes/rewriters/enumerate_quantifiers_rewriter.h
/usr/include/mcrl2/pbes/rewriters/one_point_rule_rewriter.h
/usr/include/mcrl2/pbes/rewriters/pfnf_rewriter.h
/usr/include/mcrl2/pbes/rewriters/simplify_quantifiers_rewriter.h
/usr/include/mcrl2/pbes/rewriters/simplify_rewriter.h
/usr/include/mcrl2/pbes/significant_variables.h
/usr/include/mcrl2/pbes/substitutions.h
/usr/include/mcrl2/pbes/tools.h
/usr/include/mcrl2/pbes/tools/complps2pbes.h
/usr/include/mcrl2/pbes/tools/lps2pbes.h
/usr/include/mcrl2/pbes/tools/lpsbisim2pbes.h
/usr/include/mcrl2/pbes/tools/pbesabsinthe.h
/usr/include/mcrl2/pbes/tools/pbesabstract.h
/usr/include/mcrl2/pbes/tools/pbesconstelm.h
/usr/include/mcrl2/pbes/tools/pbesinfo.h
/usr/include/mcrl2/pbes/tools/pbesparelm.h
/usr/include/mcrl2/pbes/tools/pbespareqelm.h
/usr/include/mcrl2/pbes/tools/pbespp.h
/usr/include/mcrl2/pbes/tools/pbesrewr.h
/usr/include/mcrl2/pbes/tools/pbesstategraph.h
/usr/include/mcrl2/pbes/tools/pbesstategraph_options.h
/usr/include/mcrl2/pbes/tools/txt2pbes.h
/usr/include/mcrl2/pbes/transform.h
/usr/include/mcrl2/pbes/translate_user_notation.h
/usr/include/mcrl2/pbes/traverser.h
/usr/include/mcrl2/pbes/txt2pbes.h
/usr/include/mcrl2/pbes/typecheck.h
/usr/include/mcrl2/process/action_label.h
/usr/include/mcrl2/process/action_name_multiset.h
/usr/include/mcrl2/process/action_parse.h
/usr/include/mcrl2/process/add_binding.h
/usr/include/mcrl2/process/alphabet.h
/usr/include/mcrl2/process/builder.h
/usr/include/mcrl2/process/communication_expression.h
/usr/include/mcrl2/process/detail/allow_set.h
/usr/include/mcrl2/process/detail/alphabet_intersection.h
/usr/include/mcrl2/process/detail/alphabet_push_allow.h
/usr/include/mcrl2/process/detail/alphabet_push_block.h
/usr/include/mcrl2/process/detail/alphabet_traverser.h
/usr/include/mcrl2/process/detail/expand_process_instance_assignments.h
/usr/include/mcrl2/process/detail/is_linear.h
/usr/include/mcrl2/process/detail/linear_process_expression_traverser.h
/usr/include/mcrl2/process/find.h
/usr/include/mcrl2/process/index_traits.h
/usr/include/mcrl2/process/is_communicating_lpe.h
/usr/include/mcrl2/process/is_guarded.h
/usr/include/mcrl2/process/is_linear.h
/usr/include/mcrl2/process/normalize_sorts.h
/usr/include/mcrl2/process/parse.h
/usr/include/mcrl2/process/print.h
/usr/include/mcrl2/process/process_equation.h
/usr/include/mcrl2/process/process_expression.h
/usr/include/mcrl2/process/process_identifier.h
/usr/include/mcrl2/process/process_specification.h
/usr/include/mcrl2/process/remove_equations.h
/usr/include/mcrl2/process/rename_expression.h
/usr/include/mcrl2/process/replace.h
/usr/include/mcrl2/process/rewrite.h
/usr/include/mcrl2/process/translate_user_notation.h
/usr/include/mcrl2/process/traverser.h
/usr/include/mcrl2/process/typecheck.h
/usr/include/mcrl2/process/untyped_action.h
/usr/include/mcrl2/process/utility.h
/usr/include/mcrl2/trace/trace.h
/usr/include/mcrl2/utilities/atermthread.h
/usr/include/mcrl2/utilities/basename.h
/usr/include/mcrl2/utilities/command_line_interface.h
/usr/include/mcrl2/utilities/detail/container_utility.h
/usr/include/mcrl2/utilities/detail/iota.h
/usr/include/mcrl2/utilities/detail/join.h
/usr/include/mcrl2/utilities/detail/memory_utility.h
/usr/include/mcrl2/utilities/detail/optimized_logic_operators.h
/usr/include/mcrl2/utilities/detail/separate_keyword_section.h
/usr/include/mcrl2/utilities/detail/split.h
/usr/include/mcrl2/utilities/detail/test_operation.h
/usr/include/mcrl2/utilities/dynamiclibrary.h
/usr/include/mcrl2/utilities/exception.h
/usr/include/mcrl2/utilities/execution_timer.h
/usr/include/mcrl2/utilities/extendedtabwidget.h
/usr/include/mcrl2/utilities/file_utility.h
/usr/include/mcrl2/utilities/input_input_output_tool.h
/usr/include/mcrl2/utilities/input_input_tool.h
/usr/include/mcrl2/utilities/input_output_tool.h
/usr/include/mcrl2/utilities/input_tool.h
/usr/include/mcrl2/utilities/logger.h
/usr/include/mcrl2/utilities/logwidget.h
/usr/include/mcrl2/utilities/math.h
/usr/include/mcrl2/utilities/moc_atermthread.cxx
/usr/include/mcrl2/utilities/moc_atermthread.cxx_parameters
/usr/include/mcrl2/utilities/moc_extendedtabwidget.cxx
/usr/include/mcrl2/utilities/moc_extendedtabwidget.cxx_parameters
/usr/include/mcrl2/utilities/moc_logwidget.cxx
/usr/include/mcrl2/utilities/moc_logwidget.cxx_parameters
/usr/include/mcrl2/utilities/moc_numberedtextedit.cxx
/usr/include/mcrl2/utilities/moc_numberedtextedit.cxx_parameters
/usr/include/mcrl2/utilities/moc_persistentfiledialog.cxx
/usr/include/mcrl2/utilities/moc_persistentfiledialog.cxx_parameters
/usr/include/mcrl2/utilities/moc_qt_tool.cxx
/usr/include/mcrl2/utilities/moc_qt_tool.cxx_parameters
/usr/include/mcrl2/utilities/moc_setting.cxx
/usr/include/mcrl2/utilities/moc_setting.cxx_parameters
/usr/include/mcrl2/utilities/number_postfix_generator.h
/usr/include/mcrl2/utilities/numberedtextedit.h
/usr/include/mcrl2/utilities/optimized_boolean_operators.h
/usr/include/mcrl2/utilities/pbes_input_output_tool.h
/usr/include/mcrl2/utilities/pbes_input_tool.h
/usr/include/mcrl2/utilities/pbes_output_tool.h
/usr/include/mcrl2/utilities/pbes_rewriter_tool.h
/usr/include/mcrl2/utilities/persistentfiledialog.h
/usr/include/mcrl2/utilities/progress_meter.h
/usr/include/mcrl2/utilities/prover_tool.h
/usr/include/mcrl2/utilities/qt_tool.h
/usr/include/mcrl2/utilities/reachable_nodes.h
/usr/include/mcrl2/utilities/rewriter_tool.h
/usr/include/mcrl2/utilities/sequence.h
/usr/include/mcrl2/utilities/setting.h
/usr/include/mcrl2/utilities/test_utilities.h
/usr/include/mcrl2/utilities/text_utility.h
/usr/include/mcrl2/utilities/tool.h
/usr/include/mcrl2/utilities/toolset_version.h
/usr/include/mcrl2/utilities/toolset_version_const.h
/usr/include/mcrl2/utilities/uncompiledlibrary.h
/usr/include/mcrl2/utilities/workarounds.h
/usr/lib/mcrl2/libmcrl2_atermpp.so
/usr/lib/mcrl2/libmcrl2_bes.so
/usr/lib/mcrl2/libmcrl2_core.so
/usr/lib/mcrl2/libmcrl2_data.so
/usr/lib/mcrl2/libmcrl2_fsm_syntax.so
/usr/lib/mcrl2/libmcrl2_lps.so
/usr/lib/mcrl2/libmcrl2_lts.so
/usr/lib/mcrl2/libmcrl2_modal_formula.so
/usr/lib/mcrl2/libmcrl2_pbes.so
/usr/lib/mcrl2/libmcrl2_pbespgsolve.so
/usr/lib/mcrl2/libmcrl2_process.so
/usr/lib/mcrl2/libmcrl2_syntax.so
/usr/lib/mcrl2/libmcrl2_utilities.so
/usr/lib/mcrl2/libmcrl2_utilities_qt.so
/usr/lib/mcrl2/libsvc.so
/usr/lib/mcrl2/libtr.so
/usr/share/applications/mcrl2-gui.desktop
/usr/share/doc/mcrl2/README
/usr/share/doc/mcrl2/TODO.Debian
/usr/share/doc/mcrl2/changelog.Debian.gz
/usr/share/doc/mcrl2/changelog.Debian.powerpc.gz
/usr/share/doc/mcrl2/copyright
/usr/share/doc/mcrl2/examples/academic/abp/abp.mcrl2
/usr/share/doc/mcrl2/examples/academic/abp/infinitely_often_enabled_then_infinitely_often_taken.mcf
/usr/share/doc/mcrl2/examples/academic/abp/infinitely_often_lost.mcf
/usr/share/doc/mcrl2/examples/academic/abp/infinitely_often_receive_d1.mcf
/usr/share/doc/mcrl2/examples/academic/abp/infinitely_often_receive_for_all_d.mcf
/usr/share/doc/mcrl2/examples/academic/abp/no_duplication_of_messages.mcf
/usr/share/doc/mcrl2/examples/academic/abp/no_generation_of_messages.mcf
/usr/share/doc/mcrl2/examples/academic/abp/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/abp/read_then_eventually_send.mcf
/usr/share/doc/mcrl2/examples/academic/abp/read_then_eventually_send_if_fair.mcf
/usr/share/doc/mcrl2/examples/academic/abp/run.py
/usr/share/doc/mcrl2/examples/academic/abp_bw/abp_bw.mcrl2
/usr/share/doc/mcrl2/examples/academic/abp_bw/infinitely_often_enabled_then_infinitely_often_taken.mcf
/usr/share/doc/mcrl2/examples/academic/abp_bw/infinitely_often_lost.mcf
/usr/share/doc/mcrl2/examples/academic/abp_bw/infinitely_often_receive_d1.mcf
/usr/share/doc/mcrl2/examples/academic/abp_bw/infinitely_often_receive_for_all_d.mcf
/usr/share/doc/mcrl2/examples/academic/abp_bw/no_duplication_of_messages.mcf
/usr/share/doc/mcrl2/examples/academic/abp_bw/no_generation_of_messages.mcf
/usr/share/doc/mcrl2/examples/academic/abp_bw/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/abp_bw/read_then_eventually_send.mcf
/usr/share/doc/mcrl2/examples/academic/abp_bw/read_then_eventually_send_if_fair.mcf
/usr/share/doc/mcrl2/examples/academic/abp_bw/run.py
/usr/share/doc/mcrl2/examples/academic/allow/allow.mcrl2
/usr/share/doc/mcrl2/examples/academic/allow/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/allow/run.py
/usr/share/doc/mcrl2/examples/academic/bakery/abstraction.txt
/usr/share/doc/mcrl2/examples/academic/bakery/aggressive_abstraction.txt
/usr/share/doc/mcrl2/examples/academic/bakery/always_can_get_number.mcf
/usr/share/doc/mcrl2/examples/academic/bakery/always_can_get_number/always_can_get_number.mcf
/usr/share/doc/mcrl2/examples/academic/bakery/always_can_get_number/run
/usr/share/doc/mcrl2/examples/academic/bakery/always_can_get_number/run.aggressive
/usr/share/doc/mcrl2/examples/academic/bakery/bakery.mcrl2
/usr/share/doc/mcrl2/examples/academic/bakery/get_at_least_number_circulating.mcf
/usr/share/doc/mcrl2/examples/academic/bakery/get_at_least_number_circulating/get_at_least_number_circulating.mcf
/usr/share/doc/mcrl2/examples/academic/bakery/get_at_least_number_circulating/run
/usr/share/doc/mcrl2/examples/academic/bakery/get_at_least_number_circulating/run.aggressive
/usr/share/doc/mcrl2/examples/academic/bakery/mutual_exclusion.mcf
/usr/share/doc/mcrl2/examples/academic/bakery/mutual_exclusion/mutual_exclusion.mcf
/usr/share/doc/mcrl2/examples/academic/bakery/mutual_exclusion/run
/usr/share/doc/mcrl2/examples/academic/bakery/mutual_exclusion/run.aggressive
/usr/share/doc/mcrl2/examples/academic/bakery/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/bakery/nodeadlock/no_deadlock.mcf
/usr/share/doc/mcrl2/examples/academic/bakery/nodeadlock/run
/usr/share/doc/mcrl2/examples/academic/bakery/nodeadlock/run.aggressive
/usr/share/doc/mcrl2/examples/academic/bakery/request_can_eventually_enter.mcf
/usr/share/doc/mcrl2/examples/academic/bakery/request_can_eventually_enter/request_can_eventually_enter.mcf
/usr/share/doc/mcrl2/examples/academic/bakery/request_can_eventually_enter/run
/usr/share/doc/mcrl2/examples/academic/bakery/request_can_eventually_enter/run.aggressive
/usr/share/doc/mcrl2/examples/academic/bakery/request_must_eventually_enter.mcf
/usr/share/doc/mcrl2/examples/academic/bakery/request_must_eventually_enter/request_must_eventually_enter.mcf
/usr/share/doc/mcrl2/examples/academic/bakery/request_must_eventually_enter/run
/usr/share/doc/mcrl2/examples/academic/bakery/request_must_eventually_enter/run.aggressive
/usr/share/doc/mcrl2/examples/academic/bakery/run.py
/usr/share/doc/mcrl2/examples/academic/bke/bke.mcrl2.gz
/usr/share/doc/mcrl2/examples/academic/bke/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/bke/run.py
/usr/share/doc/mcrl2/examples/academic/block/block.mcrl2
/usr/share/doc/mcrl2/examples/academic/block/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/block/run.py
/usr/share/doc/mcrl2/examples/academic/cabp/cabp.mcrl2
/usr/share/doc/mcrl2/examples/academic/cabp/infinitely_often_enabled_then_infinitely_often_taken.mcf
/usr/share/doc/mcrl2/examples/academic/cabp/infinitely_often_lost.mcf
/usr/share/doc/mcrl2/examples/academic/cabp/infinitely_often_receive_d1.mcf
/usr/share/doc/mcrl2/examples/academic/cabp/infinitely_often_receive_for_all_d.mcf
/usr/share/doc/mcrl2/examples/academic/cabp/no_duplication_of_messages.mcf
/usr/share/doc/mcrl2/examples/academic/cabp/no_generation_of_messages.mcf
/usr/share/doc/mcrl2/examples/academic/cabp/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/cabp/read_then_eventually_send.mcf
/usr/share/doc/mcrl2/examples/academic/cabp/read_then_eventually_send_if_fair.mcf
/usr/share/doc/mcrl2/examples/academic/cabp/run.py
/usr/share/doc/mcrl2/examples/academic/cellular_automata/cellular_automata.mcrl2
/usr/share/doc/mcrl2/examples/academic/cellular_automata/run.py
/usr/share/doc/mcrl2/examples/academic/commprot/commprot.mcrl2.gz
/usr/share/doc/mcrl2/examples/academic/commprot/run.py
/usr/share/doc/mcrl2/examples/academic/dining/dining3.mcrl2
/usr/share/doc/mcrl2/examples/academic/dining/dining3_cs.mcrl2
/usr/share/doc/mcrl2/examples/academic/dining/dining3_cs_seq.mcrl2
/usr/share/doc/mcrl2/examples/academic/dining/dining3_ns.mcrl2
/usr/share/doc/mcrl2/examples/academic/dining/dining3_ns_seq.mcrl2
/usr/share/doc/mcrl2/examples/academic/dining/dining3_schedule.mcrl2
/usr/share/doc/mcrl2/examples/academic/dining/dining3_schedule_seq.mcrl2
/usr/share/doc/mcrl2/examples/academic/dining/dining3_seq.mcrl2
/usr/share/doc/mcrl2/examples/academic/dining/dining8.mcrl2
/usr/share/doc/mcrl2/examples/academic/dining/dining_10.mcrl2
/usr/share/doc/mcrl2/examples/academic/dining/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/dining/nostarvation.mcf
/usr/share/doc/mcrl2/examples/academic/dining/nostuffing.mcf
/usr/share/doc/mcrl2/examples/academic/dining/run.py
/usr/share/doc/mcrl2/examples/academic/food_distribution/food_package.mcrl2
/usr/share/doc/mcrl2/examples/academic/food_distribution/run.py
/usr/share/doc/mcrl2/examples/academic/food_distribution/sustained_delivery.mcf
/usr/share/doc/mcrl2/examples/academic/goback/goback.mcrl2
/usr/share/doc/mcrl2/examples/academic/goback/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/goback/run.py
/usr/share/doc/mcrl2/examples/academic/leader/leader.mcrl2
/usr/share/doc/mcrl2/examples/academic/leader/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/leader/run.py
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu.mcrl2
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu1.mcf
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu2.mcf
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu3.mcf
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu4.mcf
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu5.mcf
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu6.mcf
/usr/share/doc/mcrl2/examples/academic/mpsu/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/mpsu/run.py
/usr/share/doc/mcrl2/examples/academic/onebit/infinitely_often_enabled_then_infinitely_often_taken.mcf
/usr/share/doc/mcrl2/examples/academic/onebit/infinitely_often_lost.mcf
/usr/share/doc/mcrl2/examples/academic/onebit/infinitely_often_receive_dat1.mcf
/usr/share/doc/mcrl2/examples/academic/onebit/infinitely_often_receive_for_all_d.mcf
/usr/share/doc/mcrl2/examples/academic/onebit/no_duplication_of_messages.mcf
/usr/share/doc/mcrl2/examples/academic/onebit/no_generation_of_messages.mcf
/usr/share/doc/mcrl2/examples/academic/onebit/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/onebit/onebit.mcrl2
/usr/share/doc/mcrl2/examples/academic/onebit/read_then_eventually_send.mcf
/usr/share/doc/mcrl2/examples/academic/onebit/read_then_eventually_send_if_fair.mcf
/usr/share/doc/mcrl2/examples/academic/onebit/run.py
/usr/share/doc/mcrl2/examples/academic/par/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/par/par.mcrl2
/usr/share/doc/mcrl2/examples/academic/par/run.py
/usr/share/doc/mcrl2/examples/academic/parallel/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/parallel/parallel.mcrl2
/usr/share/doc/mcrl2/examples/academic/parallel/run.py
/usr/share/doc/mcrl2/examples/academic/parallel_proc_with_global_var/parallel_counting.mcf
/usr/share/doc/mcrl2/examples/academic/parallel_proc_with_global_var/parallel_counting.mcrl2
/usr/share/doc/mcrl2/examples/academic/parallel_proc_with_global_var/run.py
/usr/share/doc/mcrl2/examples/academic/producer_consumer/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/producer_consumer/producer_consumer.mcrl2
/usr/share/doc/mcrl2/examples/academic/producer_consumer/run.py
/usr/share/doc/mcrl2/examples/academic/scheduler/infinitely_often_enabled_then_infinitely_often_taken_a.mcf
/usr/share/doc/mcrl2/examples/academic/scheduler/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/scheduler/run.py
/usr/share/doc/mcrl2/examples/academic/scheduler/scheduler.mcrl2
/usr/share/doc/mcrl2/examples/academic/swp/infinitely_often_enabled_then_infinitely_often_taken.mcf
/usr/share/doc/mcrl2/examples/academic/swp/infinitely_often_lost.mcf
/usr/share/doc/mcrl2/examples/academic/swp/infinitely_often_receive_d1.mcf
/usr/share/doc/mcrl2/examples/academic/swp/infinitely_often_receive_for_all_d.mcf
/usr/share/doc/mcrl2/examples/academic/swp/no_duplication_of_messages.mcf
/usr/share/doc/mcrl2/examples/academic/swp/no_generation_of_messages.mcf
/usr/share/doc/mcrl2/examples/academic/swp/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/swp/read_then_eventually_send.mcf
/usr/share/doc/mcrl2/examples/academic/swp/read_then_eventually_send_if_fair.mcf
/usr/share/doc/mcrl2/examples/academic/swp/run.py
/usr/share/doc/mcrl2/examples/academic/swp/swp_fgpbp.mcrl2
/usr/share/doc/mcrl2/examples/academic/swp/swp_func.mcrl2
/usr/share/doc/mcrl2/examples/academic/swp/swp_lists.mcrl2
/usr/share/doc/mcrl2/examples/academic/swp/swp_with_tanenbaums_bug.mcrl2.gz
/usr/share/doc/mcrl2/examples/academic/trains/infinitely_often_enabled_then_infinitely_often_taken_enter.mcf
/usr/share/doc/mcrl2/examples/academic/trains/mutual_exclusion.mcf
/usr/share/doc/mcrl2/examples/academic/trains/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/trains/run.py
/usr/share/doc/mcrl2/examples/academic/trains/trains.mcrl2.gz
/usr/share/doc/mcrl2/examples/academic/tree/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/academic/tree/run.py
/usr/share/doc/mcrl2/examples/academic/tree/tree.mcrl2
/usr/share/doc/mcrl2/examples/games/clobber/clobber.mcrl2
/usr/share/doc/mcrl2/examples/games/clobber/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/games/clobber/run.py
/usr/share/doc/mcrl2/examples/games/domineering/domineering.mcrl2
/usr/share/doc/mcrl2/examples/games/domineering/eventually_player1_or_player2_wins.mcf
/usr/share/doc/mcrl2/examples/games/domineering/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/games/domineering/player1_can_win.mcf
/usr/share/doc/mcrl2/examples/games/domineering/player2_can_win.mcf
/usr/share/doc/mcrl2/examples/games/domineering/run.py
/usr/share/doc/mcrl2/examples/games/four_in_a_row/four_in_a_row.mcrl2.gz
/usr/share/doc/mcrl2/examples/games/four_in_a_row/red_wins.mcf
/usr/share/doc/mcrl2/examples/games/four_in_a_row/run.py
/usr/share/doc/mcrl2/examples/games/game_of_goose/game_of_goose.mcrl2.gz
/usr/share/doc/mcrl2/examples/games/hex/hex.mcrl2
/usr/share/doc/mcrl2/examples/games/knights/knights.mcrl2.gz
/usr/share/doc/mcrl2/examples/games/knights/run.py
/usr/share/doc/mcrl2/examples/games/magic_square/magic_square.mcrl2
/usr/share/doc/mcrl2/examples/games/magic_square/run.py
/usr/share/doc/mcrl2/examples/games/othello/exists_draw.mcf
/usr/share/doc/mcrl2/examples/games/othello/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/games/othello/othello.mcrl2.gz
/usr/share/doc/mcrl2/examples/games/othello/red_can_win.mcf
/usr/share/doc/mcrl2/examples/games/othello/red_wins_always.mcf
/usr/share/doc/mcrl2/examples/games/othello/white_can_win.mcf
/usr/share/doc/mcrl2/examples/games/othello/white_wins_always.mcf
/usr/share/doc/mcrl2/examples/games/peg_solitaire/peg_solitaire.mcrl2.gz
/usr/share/doc/mcrl2/examples/games/peg_solitaire/rename.ren
/usr/share/doc/mcrl2/examples/games/peg_solitaire/run.py
/usr/share/doc/mcrl2/examples/games/rubiks_cube/rubiks_cube.mcrl2.gz
/usr/share/doc/mcrl2/examples/games/rubiks_cube/run.py
/usr/share/doc/mcrl2/examples/games/snake/black_can_win.mcf
/usr/share/doc/mcrl2/examples/games/snake/black_has_winning_strategy.mcf
/usr/share/doc/mcrl2/examples/games/snake/eventually_white_or_black_wins.mcf
/usr/share/doc/mcrl2/examples/games/snake/run.py
/usr/share/doc/mcrl2/examples/games/snake/snake.mcrl2
/usr/share/doc/mcrl2/examples/games/snake/white_can_win.mcf
/usr/share/doc/mcrl2/examples/games/snake/white_has_winning_strategy.mcf
/usr/share/doc/mcrl2/examples/games/wolf_goat_cabbage/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/games/wolf_goat_cabbage/run.py
/usr/share/doc/mcrl2/examples/games/wolf_goat_cabbage/wolf_goat_cabbage.mcrl2
/usr/share/doc/mcrl2/examples/industrial/1394/1394-fin.mcrl2.gz
/usr/share/doc/mcrl2/examples/industrial/1394/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/industrial/1394/run.py
/usr/share/doc/mcrl2/examples/industrial/DIRAC/SMS.mcrl2.gz
/usr/share/doc/mcrl2/examples/industrial/DIRAC/WMS.mcrl2.gz
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_SMS/eventuallyDeleted.mcf
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_SMS/eventuallyDeleted.trc
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_SMS/noTransitFromDeleted.mcf
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_SMS/noTransitFromDeleted.trc
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_WMS/jobFailedToDone.mcf
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_WMS/jobFailedToDone.trc.gz
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_WMS/noZombieJobs.mcf
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_WMS/noZombieJobs.trc
/usr/share/doc/mcrl2/examples/industrial/alma/alma.mcrl2.gz
/usr/share/doc/mcrl2/examples/industrial/alma/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/industrial/alma/run.py
/usr/share/doc/mcrl2/examples/industrial/brp/brp.mcrl2
/usr/share/doc/mcrl2/examples/industrial/brp/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/industrial/brp/run.py
/usr/share/doc/mcrl2/examples/industrial/chatbox/chatbox.mcrl2.gz
/usr/share/doc/mcrl2/examples/industrial/chatbox/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/industrial/chatbox/run.py
/usr/share/doc/mcrl2/examples/industrial/garage/garage-r1.mcrl2.gz
/usr/share/doc/mcrl2/examples/industrial/garage/garage-r2-error.mcrl2.gz
/usr/share/doc/mcrl2/examples/industrial/garage/garage-r2.mcrl2.gz
/usr/share/doc/mcrl2/examples/industrial/garage/garage-r3.mcrl2.gz
/usr/share/doc/mcrl2/examples/industrial/garage/garage-ver.mcrl2.gz
/usr/share/doc/mcrl2/examples/industrial/garage/garage.mcrl2.gz
/usr/share/doc/mcrl2/examples/industrial/garage/lift-error.trc
/usr/share/doc/mcrl2/examples/industrial/garage/movie.trc
/usr/share/doc/mcrl2/examples/industrial/garage/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/industrial/garage/readme.txt
/usr/share/doc/mcrl2/examples/industrial/garage/run.py
/usr/share/doc/mcrl2/examples/industrial/garage/shuttle-error.trc
/usr/share/doc/mcrl2/examples/industrial/ieee-11073/11073.mcrl2.gz
/usr/share/doc/mcrl2/examples/industrial/ieee-11073/data_can_be_communicated.mcf
/usr/share/doc/mcrl2/examples/industrial/ieee-11073/infinite_data_communication_is_possible.mcf
/usr/share/doc/mcrl2/examples/industrial/ieee-11073/no_inconsistent_operating_states.mcf
/usr/share/doc/mcrl2/examples/industrial/ieee-11073/no_successful_transmission_in_inconsistent_operating_states.mcf
/usr/share/doc/mcrl2/examples/industrial/ieee-11073/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/industrial/lift/lift3-final.mcrl2.gz
/usr/share/doc/mcrl2/examples/industrial/lift/lift3-init.mcrl2.gz
/usr/share/doc/mcrl2/examples/industrial/lift/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/industrial/lift/run.py
/usr/share/doc/mcrl2/examples/language/delta.mcrl2
/usr/share/doc/mcrl2/examples/language/delta0.mcrl2
/usr/share/doc/mcrl2/examples/language/divide2_10.mcrl2
/usr/share/doc/mcrl2/examples/language/divide2_100.mcrl2
/usr/share/doc/mcrl2/examples/language/divide2_500.mcrl2
/usr/share/doc/mcrl2/examples/language/exists.mcrl2
/usr/share/doc/mcrl2/examples/language/forall.mcrl2
/usr/share/doc/mcrl2/examples/language/funccomp.mcrl2
/usr/share/doc/mcrl2/examples/language/gpa_10_1.mcrl2
/usr/share/doc/mcrl2/examples/language/gpa_10_2.mcrl2
/usr/share/doc/mcrl2/examples/language/gpa_10_3.mcrl2
/usr/share/doc/mcrl2/examples/language/lambda.mcrl2
/usr/share/doc/mcrl2/examples/language/list.mcrl2
/usr/share/doc/mcrl2/examples/language/numbers.mcrl2
/usr/share/doc/mcrl2/examples/language/par.mcrl2
/usr/share/doc/mcrl2/examples/language/rational.mcrl2
/usr/share/doc/mcrl2/examples/language/sets_bags.mcrl2
/usr/share/doc/mcrl2/examples/language/small1.mcrl2
/usr/share/doc/mcrl2/examples/language/small2.mcrl2
/usr/share/doc/mcrl2/examples/language/small3.mcrl2
/usr/share/doc/mcrl2/examples/language/struct.mcrl2
/usr/share/doc/mcrl2/examples/language/tau.mcrl2
/usr/share/doc/mcrl2/examples/language/time.mcrl2
/usr/share/doc/mcrl2/examples/language/upcast.mcrl2
/usr/share/doc/mcrl2/examples/modal-formulas/nodeadlock.mcf
/usr/share/doc/mcrl2/examples/modal-formulas/nolivelock.mcf
/usr/share/doc/mcrl2/examples/pbes/datatypes.txt
/usr/share/doc/mcrl2/examples/pbes/nonmonotonic.txt
/usr/share/doc/mcrl2/examples/pbes/overloading.txt
/usr/share/doc/mcrl2/examples/pbes/pbes_inst_tr_1.txt
/usr/share/doc/mcrl2/examples/pbes/pbes_inst_tr_2.txt
/usr/share/doc/mcrl2/examples/pbes/pbes_inst_tr_3.txt
/usr/share/doc/mcrl2/examples/pbes/pbes_inst_tr_4.txt
/usr/share/doc/mcrl2/examples/pbes/pbes_inst_tr_5.txt
/usr/share/doc/mcrl2/examples/pbes/true.txt
/usr/share/doc/mcrl2/examples/project/abp/abp.dgc.gz
/usr/share/doc/mcrl2/examples/project/abp/abp.dgd.gz
/usr/share/doc/mcrl2/examples/project/abp/abp.mcrl2
/usr/share/doc/mcrl2/examples/project/wafer_stepper/wafer_stepper.dgc.gz
/usr/share/doc/mcrl2/examples/project/wafer_stepper/wafer_stepper.dgd.gz
/usr/share/doc/mcrl2/examples/project/wafer_stepper/wafer_stepper.mcrl2.gz
/usr/share/doc/mcrl2/examples/timed/ball_game/ball_game.mcrl2
/usr/share/doc/mcrl2/examples/timed/clock/clock_drift.mcrl2
/usr/share/doc/mcrl2/examples/timed/clock/clock_exact.mcrl2
/usr/share/doc/mcrl2/examples/timed/clock/clock_hasty.mcrl2
/usr/share/doc/mcrl2/examples/timed/fischer/fischer.mcrl2
/usr/share/doc/mcrl2/examples/timed/fischer/fischer_10.mcrl2
/usr/share/doc/mcrl2/examples/timed/fischer/fischer_100.mcrl2
/usr/share/doc/mcrl2/examples/timed/fischer/fischer_1000.mcrl2
/usr/share/doc/mcrl2/examples/timed/fischer/fischer_10000.mcrl2
/usr/share/doc/mcrl2/examples/timed/light/light.mcrl2
/usr/share/doc/mcrl2/examples/timed/simple/simple.mcrl2
/usr/share/doc/mcrl2/examples/visualisation/README
/usr/share/icons/hicolor/128x128/apps/mcrl2-blue.png
/usr/share/icons/hicolor/128x128/apps/mcrl2-green.png
/usr/share/icons/hicolor/128x128/apps/mcrl2-orange.png
/usr/share/icons/hicolor/128x128/apps/mcrl2-red.png
/usr/share/icons/hicolor/16x16/apps/mcrl2-blue.png
/usr/share/icons/hicolor/16x16/apps/mcrl2-green.png
/usr/share/icons/hicolor/16x16/apps/mcrl2-orange.png
/usr/share/icons/hicolor/16x16/apps/mcrl2-red.png
/usr/share/icons/hicolor/192x192/apps/mcrl2-blue.png
/usr/share/icons/hicolor/192x192/apps/mcrl2-green.png
/usr/share/icons/hicolor/192x192/apps/mcrl2-orange.png
/usr/share/icons/hicolor/192x192/apps/mcrl2-red.png
/usr/share/icons/hicolor/20x20/apps/mcrl2-blue.png
/usr/share/icons/hicolor/20x20/apps/mcrl2-green.png
/usr/share/icons/hicolor/20x20/apps/mcrl2-orange.png
/usr/share/icons/hicolor/20x20/apps/mcrl2-red.png
/usr/share/icons/hicolor/22x22/apps/mcrl2-blue.png
/usr/share/icons/hicolor/22x22/apps/mcrl2-green.png
/usr/share/icons/hicolor/22x22/apps/mcrl2-orange.png
/usr/share/icons/hicolor/22x22/apps/mcrl2-red.png
/usr/share/icons/hicolor/24x24/apps/mcrl2-blue.png
/usr/share/icons/hicolor/24x24/apps/mcrl2-green.png
/usr/share/icons/hicolor/24x24/apps/mcrl2-orange.png
/usr/share/icons/hicolor/24x24/apps/mcrl2-red.png
/usr/share/icons/hicolor/256x256/apps/mcrl2-blue.png
/usr/share/icons/hicolor/256x256/apps/mcrl2-green.png
/usr/share/icons/hicolor/256x256/apps/mcrl2-orange.png
/usr/share/icons/hicolor/256x256/apps/mcrl2-red.png
/usr/share/icons/hicolor/32x32/apps/mcrl2-blue.png
/usr/share/icons/hicolor/32x32/apps/mcrl2-green.png
/usr/share/icons/hicolor/32x32/apps/mcrl2-orange.png
/usr/share/icons/hicolor/32x32/apps/mcrl2-red.png
/usr/share/icons/hicolor/36x36/apps/mcrl2-blue.png
/usr/share/icons/hicolor/36x36/apps/mcrl2-green.png
/usr/share/icons/hicolor/36x36/apps/mcrl2-orange.png
/usr/share/icons/hicolor/36x36/apps/mcrl2-red.png
/usr/share/icons/hicolor/48x48/apps/mcrl2-blue.png
/usr/share/icons/hicolor/48x48/apps/mcrl2-green.png
/usr/share/icons/hicolor/48x48/apps/mcrl2-orange.png
/usr/share/icons/hicolor/48x48/apps/mcrl2-red.png
/usr/share/icons/hicolor/512x512/apps/mcrl2-blue.png
/usr/share/icons/hicolor/512x512/apps/mcrl2-green.png
/usr/share/icons/hicolor/512x512/apps/mcrl2-orange.png
/usr/share/icons/hicolor/512x512/apps/mcrl2-red.png
/usr/share/icons/hicolor/64x64/apps/mcrl2-blue.png
/usr/share/icons/hicolor/64x64/apps/mcrl2-green.png
/usr/share/icons/hicolor/64x64/apps/mcrl2-orange.png
/usr/share/icons/hicolor/64x64/apps/mcrl2-red.png
/usr/share/icons/hicolor/72x72/apps/mcrl2-blue.png
/usr/share/icons/hicolor/72x72/apps/mcrl2-green.png
/usr/share/icons/hicolor/72x72/apps/mcrl2-orange.png
/usr/share/icons/hicolor/72x72/apps/mcrl2-red.png
/usr/share/icons/hicolor/96x96/apps/mcrl2-blue.png
/usr/share/icons/hicolor/96x96/apps/mcrl2-green.png
/usr/share/icons/hicolor/96x96/apps/mcrl2-orange.png
/usr/share/icons/hicolor/96x96/apps/mcrl2-red.png
/usr/share/man/man1/besinfo.1.gz
/usr/share/man/man1/bespp.1.gz
/usr/share/man/man1/diagraphica.1.gz
/usr/share/man/man1/lps2lts.1.gz
/usr/share/man/man1/lps2pbes.1.gz
/usr/share/man/man1/lps2torx.1.gz
/usr/share/man/man1/lpsactionrename.1.gz
/usr/share/man/man1/lpsbinary.1.gz
/usr/share/man/man1/lpsconfcheck.1.gz
/usr/share/man/man1/lpsconstelm.1.gz
/usr/share/man/man1/lpsinfo.1.gz
/usr/share/man/man1/lpsinvelm.1.gz
/usr/share/man/man1/lpsparelm.1.gz
/usr/share/man/man1/lpsparunfold.1.gz
/usr/share/man/man1/lpspp.1.gz
/usr/share/man/man1/lpsrewr.1.gz
/usr/share/man/man1/lpssim.1.gz
/usr/share/man/man1/lpssumelm.1.gz
/usr/share/man/man1/lpssuminst.1.gz
/usr/share/man/man1/lpsuntime.1.gz
/usr/share/man/man1/lpsxsim.1.gz
/usr/share/man/man1/lts2lps.1.gz
/usr/share/man/man1/lts2pbes.1.gz
/usr/share/man/man1/ltscompare.1.gz
/usr/share/man/man1/ltsconvert.1.gz
/usr/share/man/man1/ltsgraph.1.gz
/usr/share/man/man1/ltsinfo.1.gz
/usr/share/man/man1/ltsview.1.gz
/usr/share/man/man1/mcrl2-gui.1.gz
/usr/share/man/man1/mcrl22lps.1.gz
/usr/share/man/man1/mcrl2compilerewriter.1.gz
/usr/share/man/man1/mcrl2i.1.gz
/usr/share/man/man1/mcrl2xi.1.gz
/usr/share/man/man1/pbes2bes.1.gz
/usr/share/man/man1/pbes2bool.1.gz
/usr/share/man/man1/pbesconstelm.1.gz
/usr/share/man/man1/pbesinfo.1.gz
/usr/share/man/man1/pbesparelm.1.gz
/usr/share/man/man1/pbespgsolve.1.gz
/usr/share/man/man1/pbespp.1.gz
/usr/share/man/man1/pbesrewr.1.gz
/usr/share/man/man1/tracepp.1.gz
/usr/share/man/man1/txt2lps.1.gz
/usr/share/man/man1/txt2pbes.1.gz
/usr/share/mcrl2/tool_catalog.xml
/usr/share/menu/mcrl2