|
19
|
1 |
Pure: The Pure Isabelle System
|
|
0
|
2 |
|
|
|
3 |
This directory contains the ML source files for Pure Isabelle, which is the
|
|
19
|
4 |
basis for all object-logics. Important files include:
|
|
0
|
5 |
|
|
|
6 |
Makefile -- compiles the files under Poly/ML or SML of New Jersey
|
|
|
7 |
|
|
19
|
8 |
Syntax/ -- subdirectory containing the syntax module
|
|
0
|
9 |
|
|
19
|
10 |
Thy/ -- subdirectory containing the thy file parser and loader
|
|
|
11 |
|
|
|
12 |
ROOT.ML -- loads all source files. Enter ML and type: use "ROOT.ML";
|
|
0
|
13 |
|
|
19
|
14 |
NJ.ML -- compatibility file for Standard ML of New Jersey. You may wish to
|
|
|
15 |
alter the parameter settings.
|
|
0
|
16 |
|
|
19
|
17 |
POLY.ML -- compatibility file for Poly/ML
|
|
|
18 |
|