/GrailLogic.thy/1.3/Sat Feb 15 12:07:03 2003//Tdemo-y4
/ROOT.ML/1.2/Sat Feb 15 12:30:46 2003//Tdemo-y4
D/document////
