Differences between revisions 128 and 131 (spanning 3 versions)
Revision 128 as of 2006-08-22 16:15:42
Size: 3071
Editor: dot
Comment:
Revision 131 as of 2006-08-22 23:29:58
Size: 3149
Editor: dot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 56: Line 56:
   * ["Interpolant"]
Line 112: Line 113:
   * TruthFunction (notation for [[latex2($\vdash$)]])

ComputerTerms (last edited 2020-02-02 17:49:07 by scot)