Hi, Does Larch provide a way of proving classes or specifications. I'm interested in using Larch to verify object oriented or inheritance issues of classes and packages. Particularly the use of gerneric instansiations using templates or generic packages. Any info is appreciated. Thanks in advance. Steve Zevan zevans@cs.uofs.edu