← Back to branch summary

~rosivaldo-fa/set-theory/incremental

~rosivaldo-fa/set-theory/incremental

Viewing all changes in revision 1456.

Committer: rosivaldo.fa
Date: 2022-01-15 09:47:16 UTC
Revision ID: rosivaldo.fa@gmail.com-20220115094716-pgj38ax2u91xewa1

{STI_INTEGER_NUMBER}.quotient

files added:
doc/tests/{STI_INTEGER_NUMBER}.quotient

files modified:
src/st_properties/numbers_properties/integer_number_properties.e

src/st_properties/numbers_properties/real_number_properties.e

src/st_specification/numbers/integer_number.e

src/st_tests/tests/numbers_tests/integer_number_tests.e

Show diffs side-by-side

added added

removed removed

doc/tests/{STI_INTEGER_NUMBER}.quotient

src/st_properties/numbers_properties/integer_number_properties.e

src/st_properties/numbers_properties/real_number_properties.e

src/st_specification/numbers/integer_number.e

src/st_tests/tests/numbers_tests/integer_number_tests.e

Older »