Jeff Burdges 07e02fc24b Minor tweaks

2018-12-11 13:38:43 +01:00

..

.gitignore

Expanded introduction

2018-09-25 14:39:06 +02:00

grandpa.bib

Another attempt at formalising the definition.

2018-11-09 12:00:27 +01:00

grandpa.pdf

Introduction edits and additions

2018-12-10 12:16:26 +01:00

grandpa.tex

Minor tweaks

2018-12-11 13:38:43 +01:00