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: