Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/README
author paulson
Thu, 05 Jun 1997 13:52:43 +0200
changeset 3409 c0466958df5d
parent 3279 815ef5848324
child 4620 bfd40126c56e
permissions -rw-r--r--
Tidying of signature. More robust renaming in freeze_thaw. New tactic distinct_subgoals_tac
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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















isabelle