eiffelstudio-public - Revision 107692: /trunk/research/extension/autoproof/framework/eiffel2boogie/translation/pool

• ..
• e2b_translation_pool.e
• e2b_translation_unit.e
• e2b_tu_attribute.e
• e2b_tu_class.e
• e2b_tu_creator_implementation.e
• e2b_tu_creator_signature.e
• e2b_tu_feature.e
• e2b_tu_function_pre_predicate.e
• e2b_tu_invariant.e
• e2b_tu_logical_signature.e
• e2b_tu_read_frame.e
• e2b_tu_routine_functional.e
• e2b_tu_routine_implementation.e
• e2b_tu_routine_post_predicate.e
• e2b_tu_routine_signature.e
• e2b_tu_type.e
• e2b_tu_variants.e
• e2b_tu_write_frame.e