diff options
| author | Pierre-Marie Pédrot | 2018-04-09 13:20:37 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-11 13:09:03 +0200 |
| commit | 2f2d31d8408b4e15b193110309c4800a456cfb83 (patch) | |
| tree | 2acf7211d63835eee3bdf3063befe330e9dad3e3 /kernel/inductive.ml | |
| parent | 4a244648cff78c7f7333ac5b335de3f6e742908a (diff) | |
The cbv reduction does not rely on the kernel info data structure anymore.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions