src/Pure/README
author paulson
Tue, 22 Jul 1997 11:14:18 +0200
changeset 3538 ed9de44032e0
parent 3279 815ef5848324
child 4620 bfd40126c56e
permissions -rw-r--r--
Removal of the tactical STATE

                        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