| Tue, 12 Jun 2018 19:30:55 +0200 | immler | workaround: in internalize_sort, Thm.unconstrainT can rename type variables and therefore invalidate new_tvar | changeset | files |
| Tue, 12 Jun 2018 16:21:52 +0200 | immler | a derived rule combining unoverload and internalize_sort | changeset | files |
| Tue, 12 Jun 2018 11:18:35 +0100 | paulson | merged | changeset | files |
| Mon, 11 Jun 2018 16:23:21 +0100 | paulson | fixed a name clash | changeset | files |
| Mon, 11 Jun 2018 15:53:22 +0100 | paulson | merged | changeset | files |
| Mon, 11 Jun 2018 14:34:17 +0100 | paulson | the last of the infinite product proofs | changeset | files |
| Tue, 12 Jun 2018 07:18:18 +0200 | nipkow | merged | changeset | files |
| Tue, 12 Jun 2018 07:18:09 +0200 | nipkow | proved avl for map (finally); tuned | changeset | files |