diff options
| author | Guillaume Melquiond | 2015-03-06 14:53:44 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-03-06 14:53:44 +0100 |
| commit | d0801d05923278f3dd908c7965085cc052063944 (patch) | |
| tree | 4615ebd27e48faec5b3b5c15f0f095d2861c2720 /kernel/nativelambda.ml | |
| parent | 7dd73ff65ad78b20ff25170f33d15a06ac006ae2 (diff) | |
Fix syntax highlighting of Hypothesis, Axiom, Variable, Parameter, and Context.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions