diff options
| author | Tanaka Akira | 2019-02-10 22:51:43 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-02-10 22:51:43 +0900 |
| commit | 283046a15dc5e4cd8877df44321dd8020de7bca6 (patch) | |
| tree | cbe841fb996ae862ef53d8cd592ca3ef509c6ef3 /kernel/nativelambda.ml | |
| parent | ca4f889838291674a692f6c0fe8b45caa9d9c850 (diff) | |
Distinguish inductive {definition,inductive}.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions