← Back to branch summary

~rosivaldo-fa/set-theory/incremental

From Revision 1805 to 1786

expand all expand all

Rev   Summary Authors Date Diff Files
1805
{STI_PARTITION_SUBSET_FAMILY}.family_with
rosivaldo.fa 1 year ago Diff Files
1804
{STI_PARTITION_SUBSET_FAMILY}.family_extended
rosivaldo.fa 1 year ago Diff Files
1803
{STI_PARTITION_SUBSET_FAMILY}.family_batch_extended
rosivaldo.fa 1 year ago Diff Files
1802
{STI_PARTITION_SUBSET_FAMILY}.cardinality
rosivaldo.fa 1 year ago Diff Files
1801
{STI_PARTITION_SUBSET_FAMILY}.with
rosivaldo.fa 1 year ago Diff Files
1800
{STI_SUBSET_FAMILY}.converted
rosivaldo.fa 1 year ago Diff Files
1799
{STI_PARTITION_SUBSET_FAMILY} heritage from {STI_SET_OF_SETS...
rosivaldo.fa 1 year ago Diff Files
1798
{STI_PARTITION_SUBSET_FAMILY}.subtracted_symmetricaly
rosivaldo.fa 1 year ago Diff Files
1797
{STI_PARTITION_SUBSET_FAMILY}.intersected
rosivaldo.fa 1 year ago Diff Files
1796
{STI_PARTITION_SUBSET_FAMILY}.subsets
rosivaldo.fa 1 year ago Diff Files
1795
{STI_PARTITION_SUBSET_FAMILY} heritage from {STI_SET}
rosivaldo.fa 1 year ago Diff Files
1794
{STS_PARTITION_SUBSET_FAMILY}.same_family
rosivaldo.fa 1 year ago Diff Files
1793
{STS_PARTITION_SUBSET_FAMILY}.complemented_family
rosivaldo.fa 1 year ago Diff Files
1792
{STS_PARTITION_SUBSET_FAMILY} heritage from {STS_SUBSET_FAMI...
rosivaldo.fa 1 year ago Diff Files
1791
{STS_PARTITION_SUBSET_FAMILY}.every_subset_has
rosivaldo.fa 1 year ago Diff Files
1790
{STI_SUBSET_FAMILY}.batch_extended
rosivaldo.fa 1 year ago Diff Files
1789
{STI_PARTITION_SET_FAMILY}.batch_extended
rosivaldo.fa 1 year ago Diff Files
1788
{STI_SUBSET_FAMILY}.set_batch_extended
rosivaldo.fa 1 year ago Diff Files
1787
{STI_SET}.batch_extended
rosivaldo.fa 1 year ago Diff Files
1786
{SET_TESTS_C}.test_batch_extended
rosivaldo.fa 1 year ago Diff Files