Fri, 14 Jun 1996 12:25:02 +0200 | paulson | Explicitly included add_mult_distrib & add_mult_distrib2 | changeset | files |
Fri, 14 Jun 1996 12:23:31 +0200 | paulson | Updated list of theories for target ex | changeset | files |
Fri, 14 Jun 1996 12:22:59 +0200 | paulson | Tidied spacing | changeset | files |
Fri, 14 Jun 1996 12:22:42 +0200 | paulson | New lemmas for gcd example | changeset | files |
Fri, 14 Jun 1996 12:21:02 +0200 | paulson | Obsolete relics concerned with recursion | changeset | files |
Thu, 13 Jun 1996 16:22:37 +0200 | paulson | New example of GCDs and divides relation | changeset | files |