diff options
| author | Hugo Herbelin | 2015-10-18 22:09:07 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:06 +0100 |
| commit | c033eb2624b5b25ddf4c2c35d700c46eba86e27d (patch) | |
| tree | 5dca6d4d8d7ec77b4c2db6baa89d5ca143a83ec9 /kernel/declareops.ml | |
| parent | a9fd632cfa7377aebdcb03ee015384d09ba6bd98 (diff) | |
RefMan, ch. 4: Rephrasing and moving paragraph on the double reading
proof/program of the syntax.
Diffstat (limited to 'kernel/declareops.ml')
0 files changed, 0 insertions, 0 deletions