Index of /ports/math/isabelle/work/Isabelle/src/LCF

      Name                    Last modified       Size  Description


[DIR] Parent Directory        09-Aug-2008 06:09      -  
[   ] IsaMakefile             03-Sep-2005 08:54     1k  
[TXT] IsaMakefile.html        09-Aug-2008 06:09     2k  
[   ] LCF.thy                 03-Sep-2005 08:56     3k  
[TXT] LCF.thy.html            09-Aug-2008 06:09     0k  
[   ] LCF_lemmas.ML           03-Sep-2005 08:54     4k  
[TXT] LCF_lemmas.ML.html      09-Aug-2008 06:09     0k  
[   ] ROOT.ML                 03-Sep-2005 08:54     1k  
[TXT] ROOT.ML.html            09-Aug-2008 06:09     0k  
[DIR] ex/                     09-Aug-2008 06:09      -  
[   ] fix.ML                  03-Sep-2005 08:54     3k  
[TXT] fix.ML.html             09-Aug-2008 06:09     0k  
[   ] pair.ML                 03-Sep-2005 08:54     2k  
[TXT] pair.ML.html            09-Aug-2008 06:09     0k
LCF/README

LCF: Logic for Computable Functions

This directory contains the ML sources of the Isabelle system for LCF, based on FOL.

The ex subdirectory contains some examples.

Useful references on LCF: