src/Pure/README
changeset 5833 6d8bceaa07b3
parent 5020 e0f605038a9f
child 6127 ece970eb5850
     1.1 --- a/src/Pure/README	Mon Nov 09 15:35:00 1998 +0100
     1.2 +++ b/src/Pure/README	Mon Nov 09 15:35:38 1998 +0100
     1.3 @@ -10,6 +10,7 @@
     1.4    General/	general tools
     1.5    Syntax/     	the syntax module
     1.6    Thy/          the theory file parser and loader
     1.7 +  Isar/		Intelligible Semi-Automated Reasoning subsystem
     1.8    ./		the actual meta logic implementation (see ROOT.ML)
     1.9  
    1.10  Isabelle programmers may want to have a look at the following generic