src/Pure/README
author paulson
Thu Sep 25 12:09:41 1997 +0200 (1997-09-25)
changeset 3706 e57b5902822f
parent 3279 815ef5848324
child 4620 bfd40126c56e
permissions -rw-r--r--
Generalized and exported biresolution_from_nets_tac to allow the declaration
of Clarify_tac
wenzelm@19
     1
                        Pure: The Pure Isabelle System
clasohm@0
     2
clasohm@0
     3
This directory contains the ML source files for Pure Isabelle, which is the
wenzelm@19
     4
basis for all object-logics.  Important files include:
clasohm@0
     5
wenzelm@3279
     6
IsaMakefile -- compiles the files
clasohm@0
     7
wenzelm@3279
     8
Syntax/     -- the syntax module
wenzelm@19
     9
wenzelm@3279
    10
Thy/        -- the theory file parser and loader
clasohm@0
    11
wenzelm@3279
    12
ML-Systems/ -- compatibility files for various ML systems