separate digest from detailed documentation#1

yoshihiro503 merged 1 commit intoproof-ninja:yoshihiro503@table-definitionsproof-ninja/analysis:yoshihiro503@table-definitionsfrom

affeldt-aist:yoshihiro503@table-definitionsaffeldt-aist/analysis:yoshihiro503@table-definitionsCopy head branch name to clipboard