(* Test case for wrong file type
   bug report by jv@ddre.dk

   This file should be ML, not theory!
*)