Changeset 1949 for src/utilities/extralib.ma
 Timestamp:
 May 15, 2012, 5:51:25 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

src/utilities/extralib.ma
r1930 r1949 42 42 qed. 43 43 44 interpretation "logical iff" 'iff x y = (iff x y). 44 (* Paolo: already in library, generates ambiguity 45 interpretation "logical iff" 'iff x y = (iff x y).*) 45 46 46 47 (* bool *)
Note: See TracChangeset
for help on using the changeset viewer.