Specware to Isabelle Interface Manual

All rights reserved

The name Specware® is a registered trademark of Kestrel Development Corporation


Table of Contents
1. Concepts
2. Usage
Starting Up
Using The Translator
Proof Scripts in Specs
Translation Tables