| author | wenzelm |
| Thu, 16 Oct 1997 15:33:06 +0200 | |
| changeset 3906 | 5ae0e1324c56 |
| parent 3279 | 815ef5848324 |
| child 4620 | bfd40126c56e |
| permissions | -rw-r--r-- |
Pure: The Pure Isabelle System This directory contains the ML source files for Pure Isabelle, which is the basis for all object-logics. Important files include: IsaMakefile -- compiles the files Syntax/ -- the syntax module Thy/ -- the theory file parser and loader ML-Systems/ -- compatibility files for various ML systems