diff options
| author | David A. Madore <david+git@madore.org> | 2015-12-18 17:10:14 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2015-12-18 17:10:14 +0100 |
| commit | 91f5489f36797c6cf4ab76e1f9dd07e601b2d390 (patch) | |
| tree | 3e934fdbf0e181cfe34ae07627c3078ea9d374c4 /vc | |
| parent | ca7b475d588d4c9887dd3443287d887d50ee6ccc (diff) | |
| download | mitro206-91f5489f36797c6cf4ab76e1f9dd07e601b2d390.tar.gz mitro206-91f5489f36797c6cf4ab76e1f9dd07e601b2d390.tar.bz2 mitro206-91f5489f36797c6cf4ab76e1f9dd07e601b2d390.zip | |
Definition by non-well-founded induction.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions