General: General description. Table of Contents Jump to my home page Download area

detailed descriptions: Fibration Queue UML

Detailed Desciption for directory Variance

This page gives detailed information for all files in the directory Variance.

Click here to load the file. Click here to jump downwards to the description.
variance.pvs Lemma about even and odd numbers
typecheck.el control file for PVS
all.pvs Import everything


variance.pvs: Formalisation of variances

This file formalises the notion of variances that is introduced in Section 4.2. and proves Lemma 4.2.2.


all.pvs: Import everything

Use this theory to run all proofs via prove-importchain.


typecheck.el: typecheck everything

To typecheck everything start PVS in this directory and type
M-x load-file typecheck.el


General: General description. Table of Contents Jump to my home page Download area

detailed descriptions: Fibration Queue UML

last changed on 24 Sep 2002 by Hendrik