Type Members

1.  case class $format(_s: String) extends meta with Product with Serializable
2.  case class $type(system: String, _OMOBJ: OMOBJ) extends Product with Serializable
3.  trait Declaration extends AnyRef
4.  trait Module extends AnyRef

   a pvs file containing some modules

5.  case class OMA(_head: omobject, _pars: List[omobject]) extends omobject with Product with Serializable
6.  case class OMATP(_head: OMS, _par: omobject) extends Product with Serializable
7.  case class OMATTR(_atp: OMATP, _var: OMV) extends vartype with Product with Serializable
8.  case class OMBIND(_symbol: OMS, OMBVAR: List[vartype], _pars: omobject) extends omobject with Product with Serializable
9.  case class OMOBJ(_obj: omobject) extends Product with Serializable
10.  case class OMS(cd: String, name: String) extends omobject with Product with Serializable
11.  case class OMV(name: String) extends omobject with vartype with Product with Serializable
12.  case class assertion(id: String, $type: String, CMP: String, FMP: OMOBJ) extends Declaration with Product with Serializable
13.  case class attribution(s: String) extends use with Product with Serializable
14.  case class commercial_use(s: String) extends use with Product with Serializable
15.  case class copyleft(s: String) extends use with Product with Serializable
16.  case class creator(role: String, _t: String) extends meta with Product with Serializable
17.  case class date(_s: String) extends meta with Product with Serializable
18.  case class definition($type: String, id: String, $for: String, _OMOBJ: OMOBJ) extends Declaration with Product with Serializable
19.  case class derivative_works(s: String) extends use with Product with Serializable
20.  case class description(_s: String) extends meta with Product with Serializable
21.  case class distribution(s: String) extends use with Product with Serializable
22.  case class expr(name: String) extends omobject with Product with Serializable
23.  case class imports(from: String) extends Declaration with Product with Serializable
24.  case class license(_lic: List[licenseinf]) extends meta with Product with Serializable
25.  trait licenseinf extends AnyRef
26.  trait meta extends AnyRef
27.  case class metadata($type: String, _metas: List[meta]) extends Product with Serializable
28.  case class mo(_mo: String) extends notat with subrendering with Product with Serializable
29.  case class mrow(_some: List[subrendering]) extends notat with Product with Serializable
30.  trait notat extends AnyRef
31.  case class notation(prototype: omobject, _render: rendering) extends Declaration with Product with Serializable
32.  case class notice(s: String) extends use with Product with Serializable
33.  case class omdoc(xmlns: String, dc: String, id: String, _meta: metadata, _modules: List[Module]) extends Product with Serializable
34.  trait omobject extends AnyRef
35.  case class permissions(s: List[use]) extends licenseinf with Product with Serializable
36.  case class prohibitions(s: List[use]) extends licenseinf with Product with Serializable
37.  case class render(name: String) extends subrendering with Product with Serializable
38.  case class rendering(precedence: String, _some: notat) extends Product with Serializable
39.  case class reproduction(s: String) extends use with Product with Serializable
40.  case class requirements(s: List[use]) extends licenseinf with Product with Serializable
41.  case class rights(_s: String) extends meta with Product with Serializable
42.  case class source(_s: String) extends meta with Product with Serializable
43.  trait subrendering extends AnyRef
44.  case class symbol(name: String, _meta: metadata, _tp: $type) extends Declaration with Product with Serializable
45.  case class theory(id: String, _decls: List[Declaration]) extends Module with Product with Serializable
46.  case class title(_s: String) extends meta with Product with Serializable
47.  trait use extends AnyRef
48.  trait vartype extends AnyRef