|
0
|
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 |
Makefile -- compiles the files under Poly/ML or SML of New Jersey
|
|
|
7 |
|
|
|
8 |
Syntax -- subdirectory containing the parser/prettyprinter generator
|
|
|
9 |
|
|
|
10 |
ROOT.ML -- loads all source files. Enter ML and type: use "ROOT.ML";
|
|
|
11 |
|
|
|
12 |
NJ.ML -- compatibility file for Standard ML of New Jersey. You may wish to
|
|
|
13 |
alter the parameter settings.
|
|
|
14 |
|
|
|
15 |
POLY.ML -- compatibility file for Poly/ML
|