| Sun, 23 Apr 2017 17:23:38 +0200 | wenzelm | more operations; | changeset | files |
| Sun, 23 Apr 2017 16:18:31 +0200 | wenzelm | support for multiple operations via options; | changeset | files |
| Sun, 23 Apr 2017 15:59:51 +0200 | wenzelm | clarified tool name -- more official status; | changeset | files |
| Sun, 23 Apr 2017 14:53:35 +0200 | haftmann | more lemmas | changeset | files |
| Sun, 23 Apr 2017 14:53:33 +0200 | haftmann | include GCD as integral part of computational algebra in session HOL | changeset | files |
| Sun, 23 Apr 2017 14:27:22 +0200 | wenzelm | prefer strict operation (despite 8edca3465758): there might be errors from all_known = true (ae09b9f5980b); | changeset | files |
| Sun, 23 Apr 2017 14:15:09 +0200 | wenzelm | added missing file (amending f533820e7248); | changeset | files |
| Sat, 22 Apr 2017 22:01:35 +0200 | wenzelm | theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications; | changeset | files |