User-agent: *

Disallow: /example_kramer.html  
Disallow:  /example_det.html   
Disallow:  /example_Matrix_1.html