Update doc.txt

Introduction