Files here are the certificates corresponding to 
grail programs in ../Grail/

For a program Foo.gr  we expect  FooCert.thy to
contain the proof of resource property.

