| 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 |