diff options
| author | Hugo Herbelin | 2015-12-20 04:21:55 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-25 11:05:51 +0100 |
| commit | f1c3348278fb00636e0a46595d354ffc8a00992c (patch) | |
| tree | 260ad03184ad6e1c5c5c4d856cccad19b1aa62a4 /kernel/uGraph.ml | |
| parent | b508e2b745be0c38c18f2b8874adf8550bbe6d96 (diff) | |
Moving code of specialize so that it can accept "as" (no semantic change).
Diffstat (limited to 'kernel/uGraph.ml')
0 files changed, 0 insertions, 0 deletions