isabelle: src/Pure/README@a148c7e7152e (annotated)

19 929ad32d63fc Pure/ROOT.ML wenzelm parents: 0 diff changeset	1	Pure: The Pure Isabelle System
0 a5a9c433f639 Initial revision clasohm parents: diff changeset	2
a5a9c433f639 Initial revision clasohm parents: diff changeset	3	This directory contains the ML source files for Pure Isabelle, which is the
19 929ad32d63fc Pure/ROOT.ML wenzelm parents: 0 diff changeset	4	basis for all object-logics. Important files include:
0 a5a9c433f639 Initial revision clasohm parents: diff changeset	5
3279 815ef5848324 tuned all READMEs; wenzelm parents: 19 diff changeset	6	IsaMakefile -- compiles the files
0 a5a9c433f639 Initial revision clasohm parents: diff changeset	7
3279 815ef5848324 tuned all READMEs; wenzelm parents: 19 diff changeset	8	Syntax/ -- the syntax module
19 929ad32d63fc Pure/ROOT.ML wenzelm parents: 0 diff changeset	9
3279 815ef5848324 tuned all READMEs; wenzelm parents: 19 diff changeset	10	Thy/ -- the theory file parser and loader
0 a5a9c433f639 Initial revision clasohm parents: diff changeset	11
3279 815ef5848324 tuned all READMEs; wenzelm parents: 19 diff changeset	12	ML-Systems/ -- compatibility files for various ML systems