|
|||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| Class Summary | |
| AlphaUtils | Utilities about cloning, scope extrusion and alpha-equality. |
| CommonTerms | Common Terms. |
| FactoryUtils | Utilities about building Expressions and returning them to their factory. |
| WellFormedness | Utilities about well-formedness of Terms. |
|
|||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||