diff options
| author | Clément Pit-Claudel | 2020-04-03 10:40:44 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2020-04-03 10:40:44 -0400 |
| commit | a37814ae4df4a97c0b5bdbef68d72e52412e5467 (patch) | |
| tree | 3fa57e6194514a93ac5479d3bb54264e70f07997 /kernel/nativevalues.ml | |
| parent | acefe58cd39c9a4efee632f7f92f56fb4d5285bb (diff) | |
| parent | cf978356dd0791cf6b4bc90dcc07a91cd57bd79e (diff) | |
Merge PR #11914: Start the split of the Gallina Extensions chapter.
Reviewed-by: jfehrle
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions