diff options
| author | Vincent Laporte | 2018-10-12 12:22:43 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-01-25 08:22:25 +0000 |
| commit | 68304575dd3fd85d26e2f1bdff84721df8481952 (patch) | |
| tree | f6d142e1d95740aed8fa1825bb15ea3131484e19 /doc/plugin_tutorial/tuto1/src | |
| parent | 6994539744e4ffaa4f622c8bccc66276e445ae9a (diff) | |
[Numeral notations] Use Coqlib registered constants
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src')
0 files changed, 0 insertions, 0 deletions