Update README for examples directory

xrchz · xrchz · commit 7e91a46a2a7e · 2017-09-29T04:53:09.000+10:00
diff --git a/README.md b/README.md
@@ -50,8 +50,9 @@ running regression tests.
 [documentation](documentation):
 Work-in-progress documentation regarding the CakeML language.
 
-[flame](flame):
-The start of a set theory formalisation that has net yet been used.
+[examples](examples):
+Examples of verified programs built using CakeML infrastructure
+================================================================
 
 [misc](misc):
 Auxiliary files providing glue between a standard HOL installation
diff --git a/examples/readmePrefix b/examples/readmePrefix
@@ -0,0 +1,4 @@
+Examples of verified programs built using CakeML infrastructure.
+
+Larger examples (like the CakeML compiler and Candle theorem prover) can be
+found in their own top-level directories.
