We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A type checker for the Universe Type System is implemented in the Common JML tools and is therefore also available using the ETHZ JML2 Plugin.
Version: 1 Time: Tue Oct 7 21:16:47 2008 Author: wdietl (None) IP: 129.132.105.183