Theory Plug-in User Manual v1.0
Up:
Anatomy of Theories
4.2 Datatype Definitions
Theory Plug-in User Manual v1.0
Up:
Anatomy of Theories
