added Isar/;
authorwenzelm
Mon Nov 09 15:35:38 1998 +0100 (1998-11-09 ago)
changeset 58336d8bceaa07b3
parent 5832 112a67aa9c2c
child 5834 c6fea8488ce7
added Isar/;
src/Pure/README
     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