# HG changeset patch
# User wenzelm
# Date 910622138 -3600
# Node ID 6d8bceaa07b312de3c3a2dc429786e60e53490c7
# Parent  112a67aa9c2ccedbf83b6439a0631c30096788da
added Isar/;

diff -r 112a67aa9c2c -r 6d8bceaa07b3 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