% $Id: fixedContent.lsl,v 1.4 1999/09/21 06:52:22 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]
[source]
HTML generated using lsl2html.