Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | replaced mere alias by input abbreviation | changeset | files |
Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | replaced mere alias by abbreviation | changeset | files |
Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | replaced operation with weak abstraction by input abbreviation | changeset | files |
Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | avoid compound operation | changeset | files |
Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | formal relationships between operations | changeset | files |
Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | eliminated warnings | changeset | files |
Thu, 18 Jun 2020 09:07:28 +0000 | haftmann | replaced mere alias by input abbreviation | changeset | files |