# 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