/[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 3590 by kopylov, Fri Apr 26 23:58:23 2002 UTC revision 3591 by nogin, Sun Apr 28 19:51:58 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 A + B}   * @line{@sor{A; B} @equiv @union{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.3590  
changed lines
  Added in v.3591

  ViewVC Help
Powered by ViewVC 1.1.26