diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2006-12-28 19:53:05 +0000 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2006-12-28 19:53:05 +0000 |
| commit | c99ddfc43de7d69d903d150a8d372b020371d49a (patch) | |
| tree | 701cb73a2cd33ae1b7d0cfd11ec72388708bb063 /doc/src/sgml/postgres.sgml | |
| parent | 91868e7df07185de4cf5511203009779d3463416 (diff) | |
Enable btree_predicate_proof() to make proofs involving cross-data-type
predicate operators. The hard stuff turns out to be already done in the
previous commit, we need merely open the floodgates...
Diffstat (limited to 'doc/src/sgml/postgres.sgml')
0 files changed, 0 insertions, 0 deletions