OMDOC Examples

(with the style-file-generated representations)

Usesall:: A set of OMDoc that tries to use all available elements (still incomplete). It contains all.omdoc, poset.omdoc. This set of interconnecting documents is intended as a stand-alone torture test for OMDoc tools.

OpenMath CDs: OMDoc generated from the OpenMath Content Dictionaries discussion)
PVS Prelude: The prelude (theories preloaded by default) in the PVS specification and verification system.
ActiveMath: A computer-supported learning system based on OMDoc presentation
Various mathematical theories in MBase