src/Pure/README

--- a/src/Pure/README	Mon Nov 09 15:35:00 1998 +0100
+++ b/src/Pure/README	Mon Nov 09 15:35:38 1998 +0100
@@ -10,6 +10,7 @@
   General/	general tools
   Syntax/     	the syntax module
   Thy/          the theory file parser and loader
+  Isar/		Intelligible Semi-Automated Reasoning subsystem
   ./		the actual meta logic implementation (see ROOT.ML)
 
 Isabelle programmers may want to have a look at the following generic