diff options
| author | Théo Zimmermann | 2020-05-13 20:13:12 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-13 20:13:12 +0200 |
| commit | 11b1e41c2ed7b7c714bab91a70384f75efabe852 (patch) | |
| tree | 36feb28bdc663020e6dab88dd142b71fb611245f /plugins/syntax/float_syntax.ml | |
| parent | 4bfee4ce9ad032a08e7270cf2bee24e701f7f1b6 (diff) | |
| parent | 75d32b4abaeefb505d62ae201c0edc555f473396 (diff) | |
Merge section on Inductive types from Gallina and CIC.
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions