% $Id: fixedContent.html,v 1.1 2003/10/01 07:22:16 connolly Exp $
%
% See: State /Web Architecture
% http://www.w3.org/Architecture/state
fixedContent: trait
includes
WebState
introduces
fixedContent: absoluteURI → Bool
asserts
∀ i: absoluteURI, c1, c2: Literal, m1, m2: Message
fixedContent(i) ⇒ (represents(m1, i, c1) ∧ represents(m2, i, c2)
⇒ c1 = c2)
[Index]
HTML generated using lsl2html.