From cff9b9b13138e5d54de31945da2302bc79e98a27 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 10 Sep 2009 22:13:01 +0000 Subject: Coq test --- etc/trac/trac109.v | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 etc/trac/trac109.v (limited to 'etc/trac') diff --git a/etc/trac/trac109.v b/etc/trac/trac109.v new file mode 100644 index 00000000..cbf5edbe --- /dev/null +++ b/etc/trac/trac109.v @@ -0,0 +1,3 @@ +(* http://proofgeneral.inf.ed.ac.uk/trac/ticket/109 *) +Goal True. +idtac "Hello!". -- cgit v1.2.3