@Unpublished{     Habermalz00,
  author        = {Elmar Habermalz},
  title         = {Interactive Theorem Proving with Schematic
		   Theory Specific Rules},
  year          = {2000},		  
  note          = {Submitted}             
}