1 files changed, 3 insertions, 0 deletions

diff --git a/etc/README b/etc/README
index 2592516c..4662f711 100644
--- a/etc/README
+++ b/etc/README
@@ -10,3 +10,6 @@ lego		       Files for testing LEGO Proof General
 		       
 isa		       Files for testing Isabelle Proof General
 
+README                 this file
+
+example                test protocol for example proof script
\ No newline at end of file