297mm 11.0in 297mm 210mm 8.5in 210mm : of - availability: author: version: date: copyright: license: compilation flags: : implements: imports: extends: instantiates: specializes: complements: provides: uses: aliases: dependencies: (none) :: as Inherited public predicates (none) Public predicates (no local declarations; see entity ancestors if any) (none) Protected predicates (no local declarations; see entity ancestors if any) (none) Private predicates (no local declarations; see entity ancestors if any) (none) compilation flags: template: - meta-predicate template: coinductive predicate template: mode - number of proofs: - exceptions: : remarks: : since: see also: examples: : Operators () (none) Remarks (none) See also (none)