← Back to branch summary

~rosivaldo-fa/set-theory/incremental

~rosivaldo-fa/set-theory/incremental

Viewing all changes in revision 1688.

Committer: rosivaldo.fa
Date: 2022-06-28 17:27:10 UTC
Revision ID: rosivaldo.fa@gmail.com-20220628172710-yiinaehokz2xzgzd

{STI_SET_PARTITION}.make_singleton

files modified:
doc/tests/{STI_SET_PARTITION}.make_singleton

src/st_tests/properties/sets_properties/set_partition_properties.e

src/st_tests/tests/generics/sets_tests/set_partition_tests.e

Show diffs side-by-side

added added

removed removed

doc/tests/{STI_SET_PARTITION}.make_singleton

src/st_tests/properties/sets_properties/set_partition_properties.e

src/st_tests/tests/generics/sets_tests/set_partition_tests.e

Older »