1 files changed, 5 insertions, 0 deletions
diff --git a/af2/example.af2 b/af2/example.af2
new file mode 100644
index 00000000..0b3c68a2
--- /dev/null
+++ b/af2/example.af2
@@ -0,0 +1,5 @@
+(*
+    Example proof script for AF2 Proof General
+
+    $Id$
+*)
+\ No newline at end of file