/[mojave]/metaprl/theories/czf/czf_itt_fol.mlz
ViewVC logotype

Diff of /metaprl/theories/czf/czf_itt_fol.mlz

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3592 by nogin, Sun Apr 28 19:51:58 2002 UTC revision 3593 by kopylov, Tue Apr 30 00:41:41 2002 UTC
# Line 11  Line 11 
11   * @begin[array, ccl]   * @begin[array, ccl]
12   * @line{@sfalse @equiv @void}   * @line{@sfalse @equiv @void}
13   * @line{@strue @equiv @unit}   * @line{@strue @equiv @unit}
14   * @line{@sor{A; B} @equiv @union{A; B}}   * @line{@sor{A; B} @equiv  <<'A+'B>>}
15   * @line{@sand{A; B} @equiv @prod{A; B}}   * @line{@sand{A; B} @equiv @prod{A; B}}
16   * @line{@simplies{A; B} @equiv @fun{A; B}}   * @line{@simplies{A; B} @equiv @fun{A; B}}
17   * @line{@sexists{x; A; B[x]} @equiv @prod{x; A; B[x]}}   * @line{@sexists{x; A; B[x]} @equiv @prod{x; A; B[x]}}

Legend:
Removed from v.3592  
changed lines
  Added in v.3593

  ViewVC Help
Powered by ViewVC 1.1.26