src/Pure/README
author lcp
Tue, 18 Jan 1994 15:57:40 +0100
changeset 230 ec8a2b6aa8a7
parent 19 929ad32d63fc
child 3279 815ef5848324
permissions -rw-r--r--
Many other files modified as follows: s|Sign.cterm|cterm|g s|Sign.ctyp|ctyp|g s|Sign.rep_cterm|rep_cterm|g s|Sign.rep_ctyp|rep_ctyp|g s|Sign.pprint_cterm|pprint_cterm|g s|Sign.pprint_ctyp|pprint_ctyp|g s|Sign.string_of_cterm|string_of_cterm|g s|Sign.string_of_ctyp|string_of_ctyp|g s|Sign.term_of|term_of|g s|Sign.typ_of|typ_of|g s|Sign.read_cterm|read_cterm|g s|Sign.read_insts|read_insts|g s|Sign.cfun|cterm_fun|g

                        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:

Makefile -- compiles the files under Poly/ML or SML of New Jersey

Syntax/  -- subdirectory containing the syntax module

Thy/     -- subdirectory containing the thy file parser and loader

ROOT.ML  -- loads all source files.  Enter ML and type:  use "ROOT.ML";

NJ.ML    -- compatibility file for Standard ML of New Jersey.  You may wish to
            alter the parameter settings.

POLY.ML  -- compatibility file for Poly/ML