Clarified fat and thin implications in intro to Isabelle, as they are used everywhere
Clarified fat and thin implications in intro to Isabelle, as they are used everywhere

Thinned out some uneccessary material in that section, too

trvedata/crdt-isabelle