diff options
| author | Enrico Tassi | 2019-02-22 14:10:18 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2019-02-25 14:12:10 +0100 |
| commit | 565cefdb051339a601b9977e163ee4ffbba75274 (patch) | |
| tree | a8c10b0f1f999f8d8547f887606815bdc6857cfa /kernel/inductive.ml | |
| parent | 8cad12e0e48eae83773667c2fab7d2570ed43ed2 (diff) | |
add testcase for primitive projection
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions