test.ML « thy « isa « etc - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/etc/isa/thy/test.ML

blob: 6a43457008d5be4750e0771711ff670bcae33805 (plain)

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

   This file should be ML, not theory!
*)