General: | General description. | Table of Contents | Jump to my home page | Download area | ||
|
||||||
detailed descriptions: | Fibration | Queue | UML |
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