U:RDoc::Attr[iI"	file:ETI"QED::Demo#file;TI"R;T:publico:RDoc::Markup::Document:@parts[o:RDoc::Markup::Paragraph;	[I"Demonstrandum file.;T:
@fileI"lib/qed/demo.rb;T:0@omit_headings_from_table_of_contents_below0F@I"QED::Demo;TcRDoc::NormalClass0