| commit | 46d53c02a97601e157bf73d1be558390c0752b7e | |
| author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | |
| Wed, 30 Oct 2024 16:24:06 +0000 (30 17:24 +0100) | ||
| committer | Claude Marche <Claude.Marche@inria.fr> | |
| Wed, 13 Nov 2024 18:04:52 +0000 (13 19:04 +0100) | ||
| tree | 20b9ed9c6ea515297b80ba999b802f4d9fe5b01b | treesnapshot (tar.gz zip) |
| parent | 27e140d7290f37c74ebce2e188f387f4b2186879 | commitdiff |
Mark some types as having an extensional equality.