src/Pure/README

hide id, stamps;
added stamp_names_of, name_of;
replaced make_draft by prep_ext;
improved print_sg;
tuned;

                        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