summaryrefslogtreecommitdiff
path: root/git@git.camilstaps.nl:university
diff options
context:
space:
mode:
authorCamil Staps2018-06-10 11:43:36 +0200
committerCamil Staps2018-06-10 11:43:36 +0200
commit1b8460b5afc430e0ad7d5eb5d78fdab35dce7500 (patch)
tree4e26821b3126da08d8eb3a70baf8b3b84573b994 /git@git.camilstaps.nl:university
parentMinor textual enhancements (diff)
Wellfounded induction was not neededHEADmaster
Diffstat (limited to 'git@git.camilstaps.nl:university')
0 files changed, 0 insertions, 0 deletions