src/Pure/README

Simplified proofs by omitting PA = {|XA, ...|} from RA2

                        Pure: The Pure Isabelle System

This directory contains the ML source files for Pure Isabelle, which is the
basis for all object-logics.  Important files include:

IsaMakefile -- compiles the files

Syntax/     -- the syntax module

Thy/        -- the theory file parser and loader

ML-Systems/ -- compatibility files for various ML systems