Wed, 14 Feb 2001 19:27:49 +0100 | berghofe | imp_cong2 -> imp_cong | changeset | files |
Wed, 14 Feb 2001 13:26:46 +0100 | paulson | new function get_overloads | changeset | files |
Wed, 14 Feb 2001 13:19:14 +0100 | paulson | updated the unicity proof | changeset | files |
Wed, 14 Feb 2001 13:01:02 +0100 | paulson | tidying | changeset | files |