summaryrefslogtreecommitdiffstats
path: root/vc
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-03-14 14:48:35 +0100
committerDavid A. Madore <david+git@madore.org>2016-03-14 14:48:35 +0100
commitdb165c9af5c43cab140119b133f5a95ef6f1c1ea (patch)
treefe4bcd82bd497611bc16495702aaa6cfb3f25ae7 /vc
parent6ef5069cfb97f32a1ed9012c9b1f5e2602d2cf23 (diff)
downloadmitro206-db165c9af5c43cab140119b133f5a95ef6f1c1ea.tar.gz
mitro206-db165c9af5c43cab140119b133f5a95ef6f1c1ea.tar.bz2
mitro206-db165c9af5c43cab140119b133f5a95ef6f1c1ea.zip
More about well-founded and non-well-founded inductions.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions