/GrailExamples.thy/1.3/Sat Feb 15 11:52:08 2003//Tdemo-y4
/GrailTest1.thy/1.1/Sat Feb 15 09:43:55 2003//Tdemo-y4
/ROOT.ML/1.2/Sat Feb 15 12:30:45 2003//Tdemo-y4
D/document////
