(* Scripting here tests quotation mechanism for filenames. *)

(* At the moment this trips a bug in Isabelle which objects
   to filename of this directory.

   Easy way to test for other provers is with a link,
   \bizzare  \\<rightarrow> ProofGeneral/  then load \bizarre/coq/example.v, etc

*)

val a = 1;