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 |