Removal of ex/LexProd;  TFL files;  new treatment of Prover files
Removal of ex/LexProd;  TFL files;  new treatment of Prover files

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle