diff options
| author | Pierre Roux | 2020-04-02 15:42:59 +0200 |
|---|---|---|
| committer | Pierre Roux | 2020-05-09 18:02:00 +0200 |
| commit | 2d6c26cfab4055ff2b25a311544bdf59363686a7 (patch) | |
| tree | d1a13ab723641b06a6e455418d6e570a854a3865 /interp/notation.mli | |
| parent | da4a78d9fe25b000005a968d17c2e17bb42b71f4 (diff) | |
Hexadecimal: conversion to/from Coq strings
Diffstat (limited to 'interp/notation.mli')
0 files changed, 0 insertions, 0 deletions