diff options
| author |  Gaetan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-04-11 12:47:29 +0200 |
|---|---|---|
| committer | Gaetan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-04-11 12:54:18 +0200 |
| commit | d70af8a387d1199be3327b3e4ef21dda9bb2155e (patch) | |
| tree | a6b13c86dd78094d82f87807376a266075c031e5 /proofs/logic.ml | |
| parent | fe99efdbe409e47f20776c62a76d4de7f0188afc (diff) | |
Update RefMan-pre to mention template polymorphism.
Diffstat (limited to 'proofs/logic.ml')
0 files changed, 0 insertions, 0 deletions