Wed, 17 Feb 2016 21:51:57 +0100 | haftmann | cleansed junk-producing interpretations for gcd/lcm on nat altogether | changeset | files |
Wed, 17 Feb 2016 21:51:57 +0100 | haftmann | dropped various legacy fact bindings | changeset | files |
Wed, 17 Feb 2016 21:51:57 +0100 | haftmann | generalized some lemmas; | changeset | files |
Wed, 17 Feb 2016 21:51:56 +0100 | haftmann | more theorems concerning gcd/lcm/Gcd/Lcm | changeset | files |