src/Pure/README
author wenzelm
Wed May 21 17:13:00 1997 +0200 (1997-05-21)
changeset 3279 815ef5848324
parent 19 929ad32d63fc
child 4620 bfd40126c56e
permissions -rw-r--r--
tuned all READMEs;
     1                         Pure: The Pure Isabelle System
     2 
     3 This directory contains the ML source files for Pure Isabelle, which is the
     4 basis for all object-logics.  Important files include:
     5 
     6 IsaMakefile -- compiles the files
     7 
     8 Syntax/     -- the syntax module
     9 
    10 Thy/        -- the theory file parser and loader
    11 
    12 ML-Systems/ -- compatibility files for various ML systems