|
ESC/Java2 © 2003,2004,2005,2006 David Cok and Joseph Kiniry © 2005,2006 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use escjava.vcGeneration.coq | |
| escjava.vcGeneration.coq | |
| Classes in escjava.vcGeneration.coq used by escjava.vcGeneration.coq | |
| CoqProver
This class is an implementations of the interface ProverType.
|
|
| TCoqVisitor
In the Coq extension, we differentiate Boolean
value and variables from usual Prop.
|
|
|
ESC/Java2 © 2003,2004,2005,2006 David Cok and Joseph Kiniry © 2005,2006 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||